Update Partial/Total Eq/Ord terminology