Proposed reorganization of Cabal library types

[ezyang]

I quite like Distribution.Solver.Types. Let's do the same for Cabal. We'll continue to reexport from all the old places so BC is preserved.

[23Skidoo]

+1.