Makes type checker only return the env, and not exp.

Type checking should not result in changing any expressions, and it
simplifies the type checking functions a little bit.