ω-complete partial order helpers

Re-exports lemmas and instances about ω-complete partial orders that the quasi-Borel space formalization layers on top of Mathlib.Order.OmegaCompletePartialOrder.