some steps toward integration of IEnv into Interpreter.hs