Refactor GHC layer functions
Refactor Cabal layer functions
Refactor GHC constraints functions
Refactor Cabal constraints functions
Refactor sandbox layer functions