Lambda calculus library for C++