Merge pull request #7 from jespercockx/master

Rewrote the code for deriving Eq