Fix the .cabal file, include many new files
Check that imports actually exist in the known interfaces
Eliminate dead code and reduce dependencies
Style change