the family of homalg rings is now the collection family of homalg ring elements
IsHomalgRing now lies in the filter IsRingWithOne