Updated patterns-in-switch doc

[Brian Goetz]

I have updated

https://github.com/openjdk/amber-docs/blob/master/site/design-notes/type-patterns-in-switch.md

based on our discussions.