Message for grammar parsing errors.
This message does not carry a lot of information, but it keeps the grammar parser simpler for now.
Definition:
(defconst *grammar-parser-error-msg* (msg "ABNF Grammar Parser Error.~%"))
Theorem:
(defthm msgp-of-*grammar-parser-error-msg* (msgp *grammar-parser-error-msg*))