cpp/named req/TriviallyCopyable

Requirements
The following types are collectively called trivially copyable types:
 * trivially copyable class types
 * arrays of such types
 * cv-qualified versions of these types
 * cv-qualified versions of these types