Tuple Related Concepts

Definition for product types related Concepts.

Concepts
concept	kumi::std_tuple_compatible
	Concept specifying a type is a standard tuple-like type.
concept	kumi::product_type
	Concept specifying a type follows the Product Type semantic.
concept	kumi::sized_product_type
	Concept specifying a type follows the Product Type semantic and has a known size.
concept	kumi::sized_product_type_or_more
	Concept specifying a type follows the Product Type semantic and has a size lower bound.
concept	kumi::non_empty_product_type
	Concept specifying a type follows the Product Type semantic and is non-empty.
concept	kumi::homogeneous_product_type
	Concept specifying is Product Type which types are all the same.
concept	kumi::equality_comparable
	Concept specifying if a type is comparable for each of its components.