Re-add FunTy (big patch)

With TypeInType Richard combined ForAllTy and FunTy, but that was often
awkward, and yielded little benefit becuase in practice the two were
always treated separately.  This patch re-introduces FunTy.  Specfically

* New type
    data TyVarBinder = TvBndr TyVar VisibilityFlag
  This /always/ has a TyVar it.  In many places that's just what
  what we want, so there are /lots/ of TyBinder -> TyVarBinder changes

* TyBinder still exists:
    data TyBinder = Named TyVarBinder | Anon Type

* data Type = ForAllTy TyVarBinder Type
            | FunTy Type Type
            |  ....

There are a LOT of knock-on changes, but they are all routine.

The Haddock submodule needs to be updated too

5 files changed, 0 insertions, 0 deletions

diff --git a/libraries/Win32 b/libraries/Win32
-Subproject bb9469ece0b882017fa7f3b51e8db1d2985d672
+Subproject fec966e6d77a5e7f4a586de6096954137a1fe91
diff --git a/libraries/bytestring b/libraries/bytestring
-Subproject 84253da85952765dd7631e467cc2b1d1bba03f2
+Subproject 3d6d0f60ac25736cc87a6f598886fe77e7b6ad9
diff --git a/libraries/hpc b/libraries/hpc
-Subproject d8b5381bd5d03a3a75f4a1b91f1ede6fe0fd0ce
+Subproject fbe2b7b9e163daa8fbe3c8f2dddc1132aa4e735
diff --git a/libraries/time b/libraries/time
-Subproject 52e0f5e85ffbaab77b155d48720fb216021c8a7
+Subproject a73564c366b15f7057b614188662d7b7a8eaab1
diff --git a/libraries/vector b/libraries/vector
-Subproject 224eccbac0125b7bd302f24063bbb473b2c2e1d
+Subproject 6c17dd6fadc5e7e3e09f7892380ce1339f296ef