implement labeled set

Allow label=(A|B|C) but only if a simple set. No EBNF.