[Ensure let-bound names do not occur at the type level
John Meacham <john@repetae.net>**20050428063713] hunk ./E/SSimplify.hs 316
+        let t'' = substMap'' (Map.fromAscList [ (t,e) | (t,IsBoundTo _ e) <- Map.toAscList (envInScope inb) ]) t'
hunk ./E/SSimplify.hs 318
-        return $ tvr { tvrIdent = n', tvrType =  t' }
+        return $ tvr { tvrIdent = n', tvrType =  t'' }