static L<S> allIndexedFullTerms() {
  ret concatMap(f ai_expandShortenedKeys, allIndexedTerms());
}