Refactor parts of SetupWrapper

This patch lifts many functions defined in a where clause to top-level
functions. This reduces the level of scope nestings and improves the
readability of the codebase.