Import pattern alternatives

[marijnh]

The pipe character between case patterns will mean 'match either of these', as a way associate put multiple patterns with a single body. The types and bound variables of the combined patterns should agree.

[jruderman]

Dup of issue #449?

[marijnh]

Seems so. I used the wrong search term. Closing this one.