+ - Parameterized LR
+ - "Regular Right Part" grammars (NP Chapman, etc)
+ - Attribute unification
+
+ - serialization of parse tables
+ - inference of rejections for literals
+ - "prefer whitespace higher up" (?)
+ - "ambiguity modulo dropped fragments"?
+ - can this be checked statically?
+ - eliminated statically?