poset: Remove IncoherentInstances and define our own Ord class.