cpp/types/is move constructible

@1@ If is not a referenceable type (i.e., possibly cv-qualified  or a function type with a cv-qualifier-seq or a ref-qualifier), provides a member constant  equal to. Otherwise, provides a member constant equal to.

@2@ Same as, but uses.

@3@ Same as, but uses.