More conflict algebra.
There is room to add more conflict types (for coproducts) and to create the notion of linking conflicts.
If we have two conflicts cA :: (Conflict a) and cB :: (Conflict b), but (prf :: a :>: b), this means that we can cast (castUp prf cA :: Conflict b) and (castDwn prf cB :: Maybe (Conflict a))