Change from BUG to EXT for extensions to the spec.
Add doc comment to Type.
Remove commented out grammar rule.
Fix restricted integer type. Now works all the way through codegen.