Update few files after comparison traits renaming

There were still Total{Ord,Eq} in docs and src/etc