Fix application to be left-associative
Parse integer literals into Church numerals
Library
Must re-bind during substitution
More library functions
Minor change
Treat undefined upper-case variables as values.