Sexp.Traverse.field, and an example in doc