Simple untyped lambda-calculus interpreter.