Starting with inventory:
0000001662-bf0b570d6b103f3e99f334eb02682dd415240d080676d85667e8a5cfd72f7dd5
[TAG acshibobtye
John Meacham <john@repetae.net>**20060223043106] 
hash: 0000000975-19b2443001f702bb7b6607388e522300e96e703af54a2f1c95a06ef4050aa5a8
[start letting type analysis work on partial programs
John Meacham <john@repetae.net>**20060223043122] 
hash: 0000002905-3f1795a3c9ee6d03f9cc1e53b864fb2854ddd8bf236ecb374397b0e4b6971714
[make VMap a record type
John Meacham <john@repetae.net>**20060223044822] 
hash: 0000002406-93c97b5136853e3ed0a855b5abb070c45c1c0933cccfe8695ec13d7553cdafa0
[add Proxy support to vmap when computing with partial information.
John Meacham <john@repetae.net>**20060223061938] 
hash: 0000004002-4911433ecd7d2d7e9a08026b46054aa2fd7828127315881e21ff6333fbdde5bd
[utilize new proxy support in Fixer.VMap
John Meacham <john@repetae.net>**20060223062023] 
hash: 0000002118-c1549ef0f43a7ffa58349a3693bec689118c37690d0199d9aefbaaaee0255859
[make slotTypes work with star kinded values
John Meacham <john@repetae.net>**20060224052644] 
hash: 0000000273-4c58333e5526dc1fc2be26e591782cdc6cc12dc5da5fb92cac55b673f3fb74e8
[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] 
hash: 0000001346-eb29bced988c21fca7d376c3c3601abd49813c05b08f49c5193f9b14cad013ce
[Add specialization code to E.TypeAnalysis
John Meacham <john@repetae.net>**20060224073753] 
hash: 0000003930-7bad95016daa487d969b3ff80883627fdd1da2e6bb29ec6a06ff169db6204344
[use new type analysis, clean up E generation
John Meacham <john@repetae.net>**20060224073811] 
hash: 0000005413-655d9c2d422ec1e58583d6d6ba9aa15414993d55fd2546bde5ea5ed661f9f179
[annotate over head of rules too
John Meacham <john@repetae.net>**20060224073848] 
hash: 0000000178-19561984508a7464d6bdadba21caa074533222bfde4dc27ad252b791133010d7
[don't reworkwrap functions that have already been workwrapped
John Meacham <john@repetae.net>**20060224075142] 
hash: 0000000260-fb14aaaf8dd66961efbc20c3886471e2aff6442a93264b50714364ca4a31fa57
[don't generate methods for unused functions
John Meacham <john@repetae.net>**20060224092354] 
hash: 0000000762-dfe7b3d72b2e1d0d7e0e5f24829d58979943e57cd82dc95a7ebe1eb0596c4109
[make sure class specialization rules are fully saturated when it comes to type application
John Meacham <john@repetae.net>**20060224104329] 
hash: 0000002401-d5818bea34cca5f6304a9ffaa046c29176cb8bb9240b65934a8ad04380897954
[remove EXPORTED property after collecting whole program, do a pruning pass before method generation.
John Meacham <john@repetae.net>**20060224104438] 
hash: 0000000581-cf87f84fd006af6812c3941bef8c2ea39a890646548ff461cc009d094f9a166a
[use results of type analysis when generating methods
John Meacham <john@repetae.net>**20060224113638] 
hash: 0000003842-c3ac51ffba0dd55d52954fd6b54337f189bc883513695c1a32127eb99397e20d
[add RULEBINDER property
John Meacham <john@repetae.net>**20060224143825] 
hash: 0000000863-c7a98b279e1aebda89d46d89c279499e883a4c0d53ff1c1a48e7f833d5acd238
[include RULES in type analysis
John Meacham <john@repetae.net>**20060224145519] 
hash: 0000004239-4d59c55621ba2dd4af205e91c7f57a61c4158f8f5490347fb7462be870501583
[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] 
hash: 0000005233-205d5134f491d27ff61688a0dbb9ae0fd697ed539df5415fba8b9c7bfb1548bd
[make annotation annotate rule binding variables
John Meacham <john@repetae.net>**20060225090145] 
hash: 0000000851-e6b9990dc6e1a30bd8e13f6f8c3625e197bd0796597959fcc9a5d99f1bc72b73
[add lte and showFixable methods to Fixable class
John Meacham <john@repetae.net>**20060225140638] 
hash: 0000000570-d75ff09e332ca682cdd319cca100684af1ddc7fe095d2226d74debbffbd10747
[add 'lte' method and show instance to VMap
John Meacham <john@repetae.net>**20060225140906] 
hash: 0000001327-4bcab868125afb79df26a9f431ee86806380af6982f58fe7458faecbb3f76a59
[make type analysis work with rules properly
John Meacham <john@repetae.net>**20060225141007] 
hash: 0000005416-d85341d26ac59de1a71f538afab43dab07b63339095d1d244bcad0c74d3c14f7
