A tiny functional language in C++