[don't count free variables that are inside of type arguments to variables
John Meacham <john@repetae.net>**20060411113640] hunk ./E/FreeVars.hs 61
-    fv (EVar tvr@TVr { tvrIdent = i, tvrType = t }) = insert i (fv t)
+    --fv (EVar tvr@TVr { tvrIdent = i, tvrType = t }) = insert i (fv t)
+    fv (EVar tvr@TVr { tvrIdent = i, tvrType = t }) = singleton i
hunk ./E/FreeVars.hs 83
-    fv (EVar tvr@TVr { tvrIdent = i, tvrType = t }) = minsert i tvr (fv t)
+    --fv (EVar tvr@TVr { tvrIdent = i, tvrType = t }) = minsert i tvr (fv t)
+    fv (EVar tvr@TVr { tvrIdent = i, tvrType = t }) = msingleton i tvr