Changes to ghc(3)

Changes to ghc:
commit 3c1f2f74897198638f84f8f3af06a2c80b02b29a
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Wed May 28 09:16:53 2014 +0100

    No need to call defaultKind in mkTcEqPred

commit 8668c549e8d558ab27126a743c23b0894ce19523
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Wed May 28 09:16:16 2014 +0100

    Use mkTcEqPred rather than mkEqPred in the type checker

    Type.mkEqPred has an assertion warning for kind compatibility.  But
    during type checking we may form equality predicates with incompatible
    kinds; hence TcType.mkTcEqPred, which does not check.  We were calling
    the former instead of the latter in a couple of places, leading to
    spurious debug warnings.

commit b95dbb516616ed9a1f7b7263a78455ddaa7e80fd
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Wed May 28 09:12:34 2014 +0100

    T4006, environment001, T3307 all work on msys2