Update pattern matching syntax for value types

[iamcarbon]

Use shape instead of customized syntax for matching a single value.

e.g.

match x {
   Type a =>         // phase this out
   (a: Type) =>     // replace with this
}

[iamcarbon]

Done.