• Required type invariants not enforced by the API
• In Grammar, delete_rule is not symmetric to extend
• How to make factorization of LIST1SEP and LIST0SEP simpler
• How to ask Camlp5 to strictly respect levels?