Allow pattern matching over structural types

[pcwalton]

We should be able to pattern match over tups and recs in particular.

[marijnh]

(I left out tuple patterns, since the current plan is to drop tuples altogether.)