Ids should not be preceded by numbers either.
Merge pull request #808 from kframework/fixIdRegex

Ids should not be preceded by numbers either.