Yet another lambda calculus interpreter