Introduced proof rule distinctBoolEq.

This rule is used to transform a distinct term over Boolean terms into an
equality where one of the two terms gets negated.