The environment is now agumented with canonicalized declarations-specifiers.
Turn declarations into canonicalized declaration specifiers before augmenting the environment.
Associate declarations with bindings or the remaining body.
Splice declarations into the LAMBDA body.