Untyped Lambda Calculus Interpreter for Education