Lambda calculus REPL.