> Type-level meta programming is still confined to using templates though...

Which there is less of need for this, since we have better type deduction in C++11 and 14 as well.