extended with liftable terms, pairs, sums, iterators, and recursors