b* binder for extracting svexes from a list using svex-nth.
Example:
(b* (((svex-nths a b c) args)) body) --> (b* ((a (svex-nth 0 args)) (b (svex-nth 1 args)) (c (svex-nth 2 args))) body)
