Optimization: tokenlist::addtoken