Both Lambda lifter and typechecking now use the same environment info.
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.

nojb/llvm-tiger