Changes to ghc(2)

Changes to ghc:
commit 2be99d2309471bc75ddb9cb47acda9ccbcb7ab63
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Tue Jun 24 22:23:29 2014 +0100

    In TcValidity.checkAmbiguity, skolemise kind vars that appear free in the kinds of type variables

    This was shown up by Trac #9222.

commit 0451f9137a73777170cd797406a1afb67cfb8916
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Tue Jun 24 22:19:24 2014 +0100

    More allDistinctTyVars from TcDeriv to Type

    Just a minor refactoring