Enable lifting functions and operators

First commit. This enables lifting any n-ary function with lift,
single unary operators with lift.op, and chains of binary operators
with lift.op.