Don't pass Env explicitly in InterpEnv functions.
Remove where clause in execProgram.
Don't pass Env explicitly in TypeEnv functions.
Fix a typo: TypeM -> InterpM in InterpM newtype declaration.