Next up for patterns: type patterns in switch

There are a lot of directions we could take next for pattern matching. The one that builds most on what we've already done, and offers significant incremental expressiveness, is extending the type patterns…