applies various improvements, including addition of basic lambda calculus