Use StateT to pass Env implicitly in interpreter.