Substitute into a list of sexprs.
See 4v-sexpr-restrict; this is just its mutually recursive counterpart.