conversions between These and Disjunction

Added support for the exclusive-or case with conversions to and from `\/`.
This scares me, means you lose data in the case of `Both`.