[minor type system cleanups, account for ? kinds still existing at E conversion
John Meacham <john@repetae.net>**20061111025606] hunk ./E/FromHs.hs 107
+kind (KBase KQuest) = eStar      -- XXX why do these still exist?
+kind (KBase KQuestQuest) = eStar
hunk ./FrontEnd/HsPretty.hs 420
+ppHsTypePrec p (HsTyUnboxedTuple l) = parenListzh . map ppHsType $ l
hunk ./FrontEnd/Tc/Kind.hs 40
-    *  #
-
+    *?  #
+   /  \
+  *    !
hunk ./FrontEnd/Tc/Monad.hs 393
+    vs <- mapM groundKind vs
hunk ./FrontEnd/Tc/Monad.hs 408
+groundKind mv = zonkKind (fixKind $ metaKind mv) mv