implement labeled single-element EBNF

x=ID+ doesn't work