This module allows simple experimentation with the lambda
calculus, first developed by Church. It understands the different
types of lambda expressions, can extract lists of variables (both
free and bound) and subterms, and can simplify complicated by
expression by means of application.