Creates new variable bindings for the vars and
executes a series of forms that use these bindings.
The variable bindings created are lexical unless
special declarations are specified.
Values-form is evaluated, and each of the vars is
bound to the respective value returned by that form. If there are more
vars than values returned, extra values of nil are given to the
remaining vars. If there are more values than
vars, the excess
values are discarded. The vars are bound to the values over
the execution of the forms, which make up an implicit progn.
The consequences are unspecified if a type declaration is specified
for a var, but the value to which
that var is bound is not consistent with
the type declaration.
The scopes of the name binding and declarations
do not include the values-form.