Introduce EqW class as a wrapper for equalities and add comments to CCR, congruence and CongruenceCompressor