Extension of 4v-sexpr-vars to a sexpr list.
(4v-sexpr-vars-list x) is is the mutually recursive counterpart of 4v-sexpr-vars. It is given a list of sexprs, and returns a single set containing all the variables in these sexprs.
