Finishing chapter about classes and objects in CLS

Updating section about nullability, dropping struct types in favour of just having record types that are a stronger structure.
This also closes #6, but this chapter will be reviewed multiple times in the future, as the language gets a better shape.