Patbind-mv
b* binder for multiple values.
Example:
(b* (((mv a b c) (form-returning-three-values)))
form)
is equivalent to
(mv-let (a b c)
(form-returning-three-values)
form)
The mv binder only makes sense as a top-level binding, but each of its
arguments may be a recursive binding.
