Updating sections about pattern matching in CLS

Featuring:
- Removing wrongly added constraining something from type patterns (for now, constrained types have to be defined separately).
- Adding some text about pattern matching anonymous functions.