[TAG skoirmubir
John Meacham <john@repetae.net>**20060225142609] 
<
[make type analysis work with rules properly
John Meacham <john@repetae.net>**20060225141007] 
[add 'lte' method and show instance to VMap
John Meacham <john@repetae.net>**20060225140906] 
[add lte and showFixable methods to Fixable class
John Meacham <john@repetae.net>**20060225140638] 
[make annotation annotate rule binding variables
John Meacham <john@repetae.net>**20060225090145] 
[annotate rules decls with unique identifier, clean up renamer, quantify free type variables in RULES pragmas, collect RULES info in typechecker.
John Meacham <john@repetae.net>**20060225031314] 
[include RULES in type analysis
John Meacham <john@repetae.net>**20060224145519] 
[add RULEBINDER property
John Meacham <john@repetae.net>**20060224143825] 
[use results of type analysis when generating methods
John Meacham <john@repetae.net>**20060224113638] 
[remove EXPORTED property after collecting whole program, do a pruning pass before method generation.
John Meacham <john@repetae.net>**20060224104438] 
[make sure class specialization rules are fully saturated when it comes to type application
John Meacham <john@repetae.net>**20060224104329] 
[don't generate methods for unused functions
John Meacham <john@repetae.net>**20060224092354] 
[don't reworkwrap functions that have already been workwrapped
John Meacham <john@repetae.net>**20060224075142] 
[annotate over head of rules too
John Meacham <john@repetae.net>**20060224073848] 
[use new type analysis, clean up E generation
John Meacham <john@repetae.net>**20060224073811] 
[Add specialization code to E.TypeAnalysis
John Meacham <john@repetae.net>**20060224073753] 
[add routines for mapping over the arguments as well as the body of a rule and for deleting arguments to a rule
John Meacham <john@repetae.net>**20060224064723] 
[make slotTypes work with star kinded values
John Meacham <john@repetae.net>**20060224052644] 
[utilize new proxy support in Fixer.VMap
John Meacham <john@repetae.net>**20060223062023] 
[add Proxy support to vmap when computing with partial information.
John Meacham <john@repetae.net>**20060223061938] 
[make VMap a record type
John Meacham <john@repetae.net>**20060223044822] 
[start letting type analysis work on partial programs
John Meacham <john@repetae.net>**20060223043122] 
[TAG acshibobtye
John Meacham <john@repetae.net>**20060223043106] 
>