lex qualified identifiers
lexer: replace pushback by passing the location
lex integers
You can also use your local clone with git send-email.