CCError.{iter,get_exn}
bugfix in Sexp; better pretty-printing