static L<S> ellipsisTerms(S pat) {
  int i = indexOf(pat, "...");
  if (i < 0) ret eqic(pat, s);
  S prefix = substring(pat, 0, i), suffix = substring(pat, i+3);
  ret endingWithIC(suffix, fullTermsStartingWith(prefix));
}