InfernoIDE Inferno integrated development environment for programming and languages work: expand, not contract!&*