Updated the lexer accordingly.
This has the benefit that a type error in a trailer will be correctly located
in the .mly file. Until now, it wasn't.