[Template-haskell] New TH features in the HEAD

I added some new language features to Template Haskell in the HEAD repository: * type families, including associated types, * kind annotations, * INLINE and SPECIALISE pragmas, and * bang patterns. Especially, type families were repeatedly requested <http://hackage.haskell.org/trac/ghc/ticket/1673 >. Please give these extensions a spin and let me know of any problems that you may encounter. Unfortunately, I had to change the Language.Haskell.TH API in a way that is not backwards compatible due to the necessary extensions in the Language.Haskell.TH.Syntax. For the moment, this will only affect users of the development version, but I expect these changes to be in the next stable release, 6.12, too. Happy Hacking! Manuel