Abbreviated module name: Lexing -> Lex.
Quotes around printed string literals.
Annotating printed line numbers and tokens.