Specifies that a type is trivial type.
Note, that the standard doesn't define a named requirement or concept with this name. This is a type category defined by the core language. It is included here as concept only for consistency.
|| checks if a type is trivial |