Concept definition

template< typename TYPED_PRIMITIVE_STRING, typename CHARACTER >
concept typed_primitive_string =
(::std::is_base_of_v < ::string_base< const CHARACTER* >, TYPED_PRIMITIVE_STRING >
   || ::is_same < ::string_base< const CHARACTER* >, TYPED_PRIMITIVE_STRING >)
   && prototype_character < CHARACTER >