Removing nat_inequalities

I forgot to do it in the previous commit.
First steps in using Classes and Equivalences