Added algebraic operations among Equalities

See edits on tests to see how it works.

Should it be able to compute `eq1**eq2` ?
A better name for this would just be `swap`. "swap hand sides" doesn't make sense grammatically.