Updating CLS with new fluff

Featuring:
- Fix of definition of nullable types, Nullable_Type was not used anywhere
- Adding syntax for anonymous union types, for now, more than 3 will have to be expressed as Union[A, Union[B, C]]
- Updating documentation of the Any type, making it root of Coral’s type system, so that other languages can integrate on the same VM in still a unified type system
- Adding Structural inferred auto type
- Updating definitions of type equivalence and conformance with info about unions