Implements argument flipping.

(and reorganises uncurry derivations.)
Includes operators for predicate logic.
Reimplements in LiveScript.