Lots more lexing