Theorem antisymm'

feat(order/antisymmetrization): Turning a preorder into a partial order (#11728) …

feat(order/rel_classes): Unbundled typeclass to state that two relations are the non strict and strict versions (#11381) …