[Typer] [Git][monnier/typer][report/els-2017] Try and clarify OPG as well as grammar-vs-macros