handle equality in PartialOrder.propagate; updated doc