#137 These-Disjunction Prism

This pull request includes the implementation of the These-Disjunction Prism, an example, property test, and a generator for These.
I think fold would be harder to read. Pattern matching is nice as we see what we are decomposing.