Lambda calculus wrapper and normalization utilities
Lambda calculus recursive descent parser