Added a TODO around a possible change to the tokenizer API, changing PushBack(token) into just Rewind() or something similar.