Issue type:

• ➕ Feature request

Short description:

We should add some more convenience operators:

• A two-argument form of reduce, where reduce(op, list) acts like reduce(op, tail(list), head(list))
• A form of conjunction and disjunction that take a list of predicates as an argument, that act like reduce(conj|disj, list), but are more efficient since we don't have to build a bunch of predicates if an early one short-circuits