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.