CM::Tuple is used to describe a tuple of 2 elements. The composition operation is on components. This is written in order to facilitate the construction of direct products of groups whose elements are these tuples.