Sort derivation over equality

[Broes De Cat]

For !t r n: Adding(r,t)=n => n<4, int is derived for n, while if it had been a predicate, it would have derived the correct type (subtype of int).