Functions for working with the typechecker environment (setters, getters...).

NB: Supplants TcRnMonad.