add more sexp bindings