let empty = {
    u = U.S.empty;
    la = La.S.empty;
    nl = S.empty;
    p = S.empty;
    cop = S.empty;
    cl = S.empty;
    arr = S.empty;
    set = S.empty;
    bv = S.empty
  }