Update few files after comparison traits renaming

There were still Total{Ord,Eq} in docs and src/etc
auto merge of #15088 : Sawyer47/rust/detotal, r=alexcrichton

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