Concept definition

template< typename RAW_TYPE >
concept prototype_raw_type = 
   ::_primitive_raw_type < RAW_TYPE >
   || (::std::is_bounded_array_v<RAW_TYPE>
       && _primitive_raw_type<dereference<RAW_TYPE>>)