simple lambda calculus REPL