core simpl: lambda lifter cleanups
core simpl: lambda lifter refactoring
core simpl: lambda lifter add in free type vars in type of body