Extract sexp_type function