Improved grammar type hierarchy.
Some sample java generator progress.
Inlined unrestricted and unsigned.