syntax: Prepare for Total{Eq,Ord} => {Eq,Ord}

This commit adds the groundwork for the renaming of the Total{Eq,Ord} traits.
After this commit hits a snapshot, the traits can be renamed.