Use StateT to pass Env implicitly in type checker.