Correct tuple Ord impl, add Total{Eq,Ord} impls and add some tests.