Fix overly restrictive assertions in the rewriting of equalities -- you can have equalities between rounding modes as well!