Deferred bottom* and preimage* lifts (using \eta) until run
Detect deferred \eta lifts to speed up pure expressions