Continue renaming the comparison traits

This is part 2 of the saga of renaming the Partial/Total equality and comparison traits.