Expand a bit on the typing
Nullability is an important topic to tackle, too
First draft of the syntax rules