[in kind inference apply current substitution to environment before starring out.
John Meacham <john@repetae.net>**20060426235722] hunk ./FrontEnd/KindInfer.hs 372
+        currentSubst <- getSubst
+        applySubstToEnv currentSubst