Parser: Consider allowing names to begin with digits

Currently, all "names" are passed according to the C style convention of allowing digits only after the first letter. E.g foo1 is a valid name, 1foo isn't. In C this is necessary to avoid ambiguity in the grammar.

In our case this should be unnecessary, since there are no places where a number or a symbols has to be parsed.