Fixes regarding modules in CLS

Featuring:
- First additions to the chapter 9 about top-level definitions.