Sexp: constructors and Sexp.Traverse (with new functions)