doc: more on macros, change p2 header
doc: more on parsers, marpa
doc: more on macro syntax and given/when, match