Finishing CLS chapter about expressions

For now, until more data is available from building of a reference VM.
Featuring:
- More examples of local type inference
- Eta-expansion
- Dynamic member selection
- Workflows
This finishes #7.