doc: more on match, macros and marpa