-______________________________________________________________________________
+_____________________________________________________________________________
Immediately
+ - Lay down the law on the different kinds of Sequence productions
+ and how they work.
+
- switch maximal to not-followed-by (~/~)
- should Union.add() be there?