remove largely unused 'EquivRelation'

[danmatichuk]

this was not properly supported, and in general most of the code assumed that given equivalence relation was only ever exact equality

fixes #213