Modified the specification lexer to accept digits in names.