simpl: more refactoring lambda lifter to use Context type