Renamed a variable in typechecker for clarity; filled in Lett and Rec in
typeinference.