Fix language specifications

Lexical:

• Use regexes in identifier and number lexical specifications: the letters and numbers are explicitly written one by one in the letters and numbers lexing patterns, shorter regexes should be used instead
• Use \xnum instead of \num in \xnum paragraph