Updates to CLS

Featuring:
- Moving definition of union types around to correct place
- Adding unfinished section on base types and member definitions