A functional meta-programming toolbox for C++