Updating sections about unconditionals in CLS

Featuring:
- Return expressions (implicit+explicit)
- Begin-catch-ensure expressions