Clean up code and add comments, mostly in the at.logic.skeptik.algorithms.congruence package.