simpl: refactor lambda lifted to use real contexts