Add macro to create functions with positional args

Example:

  (λ (+ _1 _2))

is equivalent to:

  (LAMBDA (A B) (+ A B))
Macros to enable reductions to be spec'd in CFG