Tokenizer now embeds more accurate source locations into tokens.