indexing: small improvements
indexing: can now run two more IMP++ examples with indexing (io.imp & spawn-io.imp)