Rework congruences and minimal representatives

[leonbohn]

We should maybe find a different way of defining RightCongruence as at the moment it is a bit annoying to work with. We would rather have it so that the minimal representative/class is stored separately.