Refining chapter about identifiers, names and scopes in CLS

Featuring:
- it should be an error if a new binding would have an incompatible type
Fixes to types chapter in CLS

Featuring:
- Changing class qualifier to include whole container path as a suffix path
- Fixing method types
Updating variable definitions in CLS
Updating expressions chapter in CLS

Featuring:
- Updating section about designators, self, super & friends
- Updating section about function applications
- Adding shadowing declarations to blocks