installed a method \in for [ IsRingElement, ConstructedAsAnIdeal ]