Rewrote the code for deriving Eq to make it work on more examples and fix some problems.
Added missing "="
Merge pull request #7 from jespercockx/master

Rewrote the code for deriving Eq