Toy Functional Meta-Language Via C++ Template Meta-Programming