Start formally defining grammar-v3
Finish formal definition of grammar
Explain positioning
Explain sequences
Explain tags