TODO

   1 To Do :
   2   - linearization of mod and div with a negative divisor
   3
   4   - update the pretty-printer to avoid parentheses in sums and handle
   5     periodic numbers as [p1 p2 p3]v
   6
   7   - Update the documentation.
   8
   9   - Detect equalities in the QUAST and remove paths accordingly
  10
  11   - Verify and expand arities for the Omega library functions