A simple interpreter for the untyped lambda calculus.