Add an Ord PEquation instance.