cmp: Use default methods in trait Eq, require only Eq::eq

Let Eq::ne be implemented to the inverse of eq by default.