feat(data/list/cycle): cycles as quotients of lists (#7504)
Cycles are common structures, and we define them as a quotient of lists. This is on the route to defining concrete cyclic permutations, and could also be used for encoding properties of cycles in graphs.
