Lambda Calculus Toy implementation