We can simplify catenation as just "[token] + tokens", no need to
calculate "rest" and use "[token] + sorted(rest)".