Basic pre-commit check.
Checks that parsing and codegen runs without exceptions
and that generated Python is valid.
Fix restricted integer type.
Change from BUG to EXT for extensions to the spec
Support Useful types and their values.