Allows class types (with a defaulted <=>, later 'structural types') as non-type template parameters.
<=>