static Future<List<Token>> kRecaseTokens(List<Token> tokens) async => tokens .map((e) => Token(e.term.toLowerCase(), e.n, e.termPosition, e.zone)) .toList();