Compile time traits.
Determine if T is a "primitive" type, i.e. a bool, builtin numeric or string type.
Convert a type tuple to an array of strings with its types' names.