isRing
isRing x
-- determines whether x is a ring.