map length (tiers :: [[ Rational ]])  =  [1,1,1,1,1,1,1,1,1,1,1,1,...]

length (list :: [ Rational ])  =  Infinity

allUnique (list :: [ Rational ])  =  True

ratioRepetitions (list :: [ Rational ])  =  0 % 1

tiers :: [Rational]  =
  [ [0 % 1]
  , [1 % 1]
  , [(-1) % 1]
  , [1 % 2]
  , [(-1) % 2]
  , [2 % 1]
  , [(-2) % 1]
  , [1 % 3]
  , [(-1) % 3]
  , [3 % 2]
  , [(-3) % 2]
  , [2 % 3]
  , ...
  ]