static <A> bool csyncAdd(Concept concept, Cl<A> c, A b) {
  if (!syncAdd(c, b)) false;
  ret true with cchange(concept);
}

static <A> void csyncAdd(Concept concept, L<A> l, int idx, A b) {
  if (l == null) ret;
  syncAdd(l, idx, b);
  cchange(concept);
}