Uses a more expressive, and smaller grammar.
Includes actual type declarations.
Better grammar for type declarations.
Support tagged types
Grows the grammar to the max
Adds a complete example.
Merge previous interface/architecture definitions.