conversions between These and Disjunction

Added support for the exclusive-or case with conversions to and from `\/`.
Also, I missed the `Option` part of this. That's a dramatic difference but now I'm just not sure how useful this is.