Refactoring in progress.
More refactoring.
More refactoring.
Optimization of RelabelingFiniteGroup.