Improve error messages for overlapping instances
Fix #620. More rigorous overlap check.
Another test
Merge pull request #629 from purescript/620

Better overlapping instances check