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