static LS assertStringList(O o) {
  if (!o instanceof L) fail("Not a list: " + className(o));
  L l = cast o;
  for (O x : l)
    if (!x instanceof S)
      fail("Not a string: " + className(x));
  ret l;
}