잘 봤습니다. 패키지로서 나무랄 데 없다고 생각합니다. :)

굳이 한 마디 첨언하자면 환경 안에 오는 텍스트에 ::= 부호가 빠져 있을 때, 즉 입력 실수를 어떻게 할 것이냐는 건데요, 에러메시지를 조금 친절하게 하자면 다음처럼 할 수 있겠습니다.

환경 정의를 다음과 같이 하고요,

\NewDocumentEnvironment { bnfgrammar } { +b }
  {
    \regex_split:nnNTF { ::= } { #1 } \l__input_seq
      { \subfn_succ:n { #1 } }
      { \subfn_fail:n { #1 } }
  }{}

regex_split이 성공하면 \subfn_succ:n으로 넘겨주고 실패하면 \subfn_fail:n으로 가는 건데, \regex_split:nnNTF 기법은 그 아래 콜론 부호가 있는가를 검사하는 곳에서 사용하고 있군요. (개념상 분기하는 것을 보여주려고 이렇게 제시한 것이고, 사실은 \subfn_succ:n에서는 \l__input_seq만 있으면 되고 실패했을 때는 에러메시지만 보일 것이므로 sub function에 #1을 넘겨주지 않아도 됩니다.)

성공했을 때 함수는 원래 정의에서 \regex_split 문장 하나만 제외하는 거라서 문제 없고요. 실패일 때 에러메시지를 유의미하게 보여주고 싶은 것인데,

\msg_new:nnn { simplebnf } { haltmsg } { compulsory~symbol~`::='~missing }
\cs_new_nopar:Npn \subfn_fail:n #1
  {
  	\msg_error:nn { simplebnf } { haltmsg }
  }

이와 같이 하여 ::=가 빠졌다는 사실을 콘솔에서 더 명확하게 보여줄 수 있습니다.

필요에 의해 작성하는 패키지야말로 가치있는 것이겠지요.