Finish basic-concepts section.

Add subsection on modules to basic-concepts
Add the 'weak' type to basic-concepts

Decided to disallow multi-line comment nesting. This could change back
at some point.
Add some restrictions in the lexical conventions section

Rewrite the overview section