core simpl: in lambda lifter generate fresh names based on current context