minor whitespace cleanup
remove unneeded dep constraints on test-framework
add mising 'Types' module to 'other-modules' in cabal