proposal for an ABNF grammar