A implementation of untyped lambda calculus