pairs, sums, and terms of liftable types