Corrects check for '=> in check-cond-clause
Minor modifications to check lambda formals
Corrects typos in predicates, and adds predicate for lambda
Adds accessors for lambda-abstraction
Adds check-lambda-formals
Adds check-expressions, to handle generic boolean checks
The syntax checker can now check it self
Adds check application