Both Lambda lifter and typechecking now use the same environment info.

Before we were keeping essentially two parallel environments with
information about bound variables/functions, etc.