Reorganized Algebra.Structures.Generic