add some documentation for `Eq` and `Ord`