core simpl: lambda lifting for multiply nested abstractions