simpl: refactor lambda lifter to use monoidal result type