add types links, add sized array sample
doc: explain nonterminal grammar symbols

lhs grammar rules usable as macro arguments