cpp/utility/tuple/tuple-like

@1@ A type models and satisfies the exposition-only concept  if  is a specialization of
 * std,
 * std,
 * std, or
 * std.

@2@ objects are  objects with exactly 2 elements.