Implements Ring.
Implemented in PolyRing, PolyRingQuotient, SchurRing, SkewPolynomialRing, and WeylAlgebra.