change Total{Ord,Eq} to just Ord,Eq
Merge pull request #128 from jschaf/fix-ord

change Total{Ord,Eq} to just Ord,Eq