Port changes from OpenAxiom commit 2826

->  The category AbelianMonoid has a new export: opposite?.
->  The category Rng has a new export: annihilate?.