core simpl: start adding new lambas around lifted abstractions