Refining paths in CLS
Refining self-type annotations

Changing to these combinations:
- requires self : Type
- requires var_id : Type
- requires Type
- use self as var_id : Type
- use self as var_id
- use as var_id : Type
- use as var_id
Updating section about early definitions in CLS
Adding link to templates section in inheritance closure section in CLS
Reviewing nested includes/prepends in CLS