Parser. Fix bug with parsing {} as policy.
Parser. Remove obsolete TODO comment.
Parser. Add runParser export.
Annotations and records clean up. Major step.
Remove Functor context from Annotated type class.
Mark unsafe records in Syntax and remove useless unsafe records.
Remove annotation for BlockStmt constructor.
Record naming fixes. Remove more useless records.
Add support of internal nodes to Annotated. Add automatic deriving for syntax nodes.