conversions between These and Disjunction

Added support for the exclusive-or case with conversions to and from `\/`.
Yeah with the `Option` it seems like there is only one sensible implementation to me. My use case is that I have a `List[A \&/ B]` and I want to select only the misalignments. But it may not be that useful in general.