Comment by GeneThomas

> why did you use comma instead of other characters for grouping?

Because English is the global lingua franca

> I like to hear why then

Unlike Unicode xᴇɴᴏɴ must be defined in one grammar. Having special names, like $type, and hoping no language uses them is fragile.