A simple lambda calculus interpreter implemented in C++