Implemented associated type families for ModuleInterface.
Added BoundAndUsed.
Figured out a way to support BangPatterns in BriefCase :)
Updated cabal file.
Misc minor changes.