Other equivalence classes than EGAL

[toivoh]

E.g. something like

@pattern f(x::IsEqual(5)) = ...

to match on f(x) as long as isequal(x, 5).

Should probably

• assume and exploit that the predicate in question is an equivalence relation.
• allow to use different equivalence relations.