sexpr version of bnf