core simpl: lambda lifter correct types for new fn parameters
core simpl: lambda lifter add param types to type of lifted super
core simpl: lambda lifter  check lifted binding to get its type