simplification on remainder lits implemented
simplifications of modular arith expressions, with some Gauss theorem baked in