[add return-apply optimization. very useful for improving points-to analysis
John Meacham <john@repetae.net>**20060125040805] hunk ./Grin/Simplify.hs 219
+    f (Return t@NodeC {} :>>= v :-> App fa [v',a] typ :>>= lr) | fa == funcApply, v == v' = do
+        mtick "Optimize.optimize.return-apply"
+        f (Return t :>>= v :-> doApply t a typ :>>= lr)
+    f (Return t@NodeC {} :>>= v :-> App fa [v',a] typ) | fa == funcApply, v == v' = do
+        mtick "Optimize.optimize.return-apply"
+        f (Return t :>>= v :-> doApply t a typ)