Preparing new keywords in CLS

Featuring:
+ pragma for upcoming pragmas
+ reverse for use in loops
Simplifying syntax of in/out params in CLS

Replacing `in+out` with `in out` in more Ada-like style.
Updating chapter about expressions up to unconditionals in CLS