Document ast node types

[ballercat]

Why

Need a cononical source for what nodes are accepted by the generator as well as what node shapes are generated by the core parser. The compiler is extendable but without node shapes it's more difficult to understand what is going on.

What

Document node shapes or add flow types and coument those.