Lambda calculus interpreter in PHP.