Pattern Matching: Support "or" patterns

[ospencer]

This is the ability to match variants within a subpattern, like the "or" pattern P | Q in this example:

data Foo = Foo(Bar)
data Bar = P | Q

match(...) {
  | Foo(P | Q) => ...
}