Flatten a list of statements.
(flatten-statement-list stmts env) → new-stmts
If we encounter a constant declaration, we process it here: we flatten its initializer, we turn into a value, we extend the flattening environment with the new constant, and we discard the constant declaration.
If we encounter any other kind of statement, we flatten it and then we flatten the subsequent ones.