Fixing type squashing to work with non-integral types; adjusting type numbering to use the fixed type squashing template; extending type-facilities example with cases for std::string (a builtin non-integral type).