conversions between These and Disjunction
renamed to onlyThisOrThat, removed fromDisjunction
Merge pull request #821 from tpolecat/these-disj

conversions between These and Disjunction