Now with contraction!
Rename bound variables when matching inputs and outputs.
Church numerals and tests thereof.
Added Makefile.
Trim leading and trailing spaces in input; accept blank lines.