[TAG tynhaijaft
John Meacham <john@repetae.net>**20051013083401] 
<
[remove unneeded method from CanTypeCheck
John Meacham <john@repetae.net>**20051013083228] 
[include return type in application nodes in Grin.
John Meacham <john@repetae.net>**20051013080504] 
[clean up some Grin stuff, make primitives take a list of arguments rather than a tuple.
John Meacham <john@repetae.net>**20051013064526] 
[make strictness analysis more efficient
John Meacham <john@repetae.net>**20051013050811] 
[get rid of IntMap and IntSet versions of subst.
John Meacham <john@repetae.net>**20051013045323] 
[add specialized versions of freevars for Map and Set
John Meacham <john@repetae.net>**20051013045001] 
[lots of performance speedups, especially in the E substitution routine
John Meacham <john@repetae.net>**20051013033430] 
[add option to perform type analysis
John Meacham <john@repetae.net>**20051012045211] 
[improve type analysis. use generice VMap
John Meacham <john@repetae.net>**20051011231409] 
[add ability for workerwrapper to recurse into subexpressions and work-wrap local functions
John Meacham <john@repetae.net>**20051011231301] 
[code cleanups
John Meacham <john@repetae.net>**20051011231238] 
[add TypeAnalysis pass
John Meacham <john@repetae.net>**20051011080957] 
[TAG wybgonmogoo
John Meacham <john@repetae.net>**20051011080228] 
>