Add "Abstract Syntax Tree" section and transformation rules.

It is now time to test and see if this grammar actually describes
MiniJava :)