conversions between These and Disjunction

Added support for the exclusive-or case with conversions to and from `\/`.
@tpolecat ignore me, I'm not objecting to this function - just advertising my lack of imagination.