Added algebraic operations among Equalities

See edits on tests to see how it works.

Should it be able to compute `eq1**eq2` ?