Exercises 06 battle plan: symbol tables and type checking (and AGs)