Polymorphic equality and nonequality operators

[michallepicki]

Can they be added? It seems that right now == only works for ints. And there's no != operator.

So I would propose changing == and introducing != to both be ('a, 'a) -> bool