Adds std::type_order, a standardized total order over types at compile time.
std::type_order
type_order