declared and installed \* for [ IsRingElement, IsHomalgModuleElement ]