Old PolyRing implementation removed - now it can only forward to MonoMonoid and PrimeField.