EBNF: foo
digit = [0-9]
number = digit+ => [[ string>number ]]
numbers = number+
;EBNF