Type hinting & missing "Type Name" sub-objects

Did two changes:

1. Added missing *Type Name* sub-objects (bug).
2. Added type hints.

Resulting AST should contain all type information. As we agreed in e-mail, if the type information is missing in the original MSON, it should be hinted by parser. The original example was not consistent anyway - e.g. it hinted `object` on top-level *Named Type* object although it was not explicitly specified in MSON counterpart, but it did not hinted any types anywhere else.