conversions between These and Disjunction

Added support for the exclusive-or case with conversions to and from `\/`.
    def TheseEitherPrism = Prism(_.disjunction, _.toThese)