Wrote chapter about abstract syntax for the report