The big change here is that Kind is no longer a distinct type,
it's just a type synonym for Type.  This reflects exactly what
happens in the HsSyn world, and avoids a great deal of duplication
between types and kinds.   But it is a breaking for (the few)
TH users who were using the constructors for Kind.

Thanks to lunaris and Richard Eisenberg for doing the work.

Thanks to mikhail.vorozhtsov for doing the work

Conal Elliott reported that dataToExpQ built a different constructor
for () than [| () |]. This patch fixes that, and adds a regression test.

Use tyConPackage and tyConModule to determine the package and module to which a
data type belongs. With this information we can use mkNameG_d to build
constructor names which ensures that dataToQa creates TH terms that are
independent of the set of in-scope names.

Let GHC know about an external dependency that Template Haskell uses
so that GHC can recompile when the dependency changes.
No support for ghc -M

This patch (and its GHC counterpart) implements
   Trac #4429 (lookupTypeName, lookupValueName)
   Trac #5406 (reification of type/data family instances)

See detailed discussion in those tickets.

TH.ClassInstance is no more; instead reifyInstances returns a [Dec],
which requires fewer data types and natuarally accommodates family
instances.

'reify' on a type/data family now returns 'FamilyI', a new data
constructor in 'Info'

Fixes Trac #5409

Thanks to Bas van Dijk for proposing this.

In the end I replaced Functor by Applicative in the
superclasses of Quasi, thus:
  class (Monad m, Applicative m) => Quasi m where
because Functor is a superclass of Applicative.

The extension is nice, because it just adds an extra
constructor to the existing data type 'Strict'.

Thanks to Mikhail Vorozhtsov.

This patch accompanies the HEAD commit

  Thu Jan 13 11:14:21 GMT 2011  simonpj@microsoft.com
  * Make Template Haskell classInstances function return [ClassInstance]
  
It accomplishes the data type change

See Trac #4423

Part of patch for #4436