Much like the previous commit. I think the removal of "the token" in each message is fine here. There are many more error messages that mention tokens without saying "the token" than those that do say it.
//
//@
tt
ident
Generally, `tt` and `ident` should behave identically, modulo the latter accepting only a subset of token trees.
