rename Total{Eq,Ord} to {Eq,Ord}