Provides classes for groups and their generalisations (monoids, semigroups).