Add nonterminal syntax

Closes #8; closes #11; closes #10.
Explain interaction with Ecmarkup a bit