core simpl: lambda lifter beautify names of lifted bindings