Clean up and explicitify top-level imports.

All modified files are now also completely prettified via stylish-haskell. Requested during Hac NYC. Note that `cabal configure --ghc-option=-ddump-minimal-imports` may make explicit imports redundant. Still useful changes included: removing old debug code in `Types.hs`.