Simple implementation of untyped lambda calculus