[don't try to constrain non-variable arguments for rules in type analysis
John Meacham <john@repetae.net>**20070516012645] hunk ./E/TypeAnalysis.hs 117
-                        flip mapM_ (zip naturals as') $ \ (i,a'') -> do
-                            addRule $ modifiedSuperSetOf a'' t' (vmapArg n i)
+                        flip mapM_ (zip naturals (zip as as')) $ \ (i,(a',a'')) -> do
+                            when (isEVar a') $ addRule $ modifiedSuperSetOf a'' t' (vmapArg n i)