The object PolynomialRing is a type, with ancestor classes EngineRing < Ring < Type < MutableHashTable < HashTable < Thing.