Starting with inventory:
0000001909-7bcc94129f75b1dbf46a007dad5a704902afc5a5bc643913265bfed7c57dcb8d
[TAG payshejabs
John Meacham <john@repetae.net>**20060301032920] 
hash: 0000001057-cb1e70c24acd466024ef30a4668866e3cc066923fb6edd1c6b3c8412ff220e75
[lots of cleanups in E.FromHs
John Meacham <john@repetae.net>**20060301035905] 
hash: 0000004824-e0477ead1e12a394be3cc413b43f005e42f5d06054d96845c7dd536d1276074b
[use coercions generated by typechecker rather than specialization to apply type variables
John Meacham <john@repetae.net>**20060302050431] 
hash: 0000003844-987ae9e7d46549c9eac64d14ad3040c3b986bac13c88b795a0f71bed499f82f4
[perform occurs check before splitting boxyvars.
John Meacham <john@repetae.net>**20060302063228] 
hash: 0000000995-5369afdf0e6e3c31850d18ef89c6051463c7702ac0cfa825963a46093b465ece
[add type annotations to rule free variables
John Meacham <john@repetae.net>**20060302071940] 
hash: 0000003660-7d15c8315d52c0384b55d1023bed0d517a2c377778baac6f102aca469317a2c2
[relax dependency analysis, infer non-recursive values in a boxy type.
John Meacham <john@repetae.net>**20060302123025] 
hash: 0000010259-63494d74de9023fbfaa867e7a41cc16ad794a56bd371669eed57419bd3b8f9b0
[utilize coercion information to add type lambdas
John Meacham <john@repetae.net>**20060302123118] 
hash: 0000000560-5d2ab2d848cf386150f16d5792f39ba65dd692fa04a28888f79c707e286be8b1
[make recursive bindings get coerced correctly to the right type
John Meacham <john@repetae.net>**20060302225442] 
hash: 0000003087-81b282f6bc26562c5a5ef218f3862d13bab7837511a872f659a9949e948327be
[infer new type after type analysis specialization properly.
John Meacham <john@repetae.net>**20060302231842] 
hash: 0000000524-c1f6d403d1ed552c4af932f0f5337c70ccb032de79f6a60683431f7e8039dda0
[make absurds always match each other
John Meacham <john@repetae.net>**20060302234804] 
hash: 0000000396-35151b9d6fb4ec41c73c7523811f4b1b3b938b4b16d48f5ddf62b6a3eb46cddf
[print better error messagses for type error on lambdas
John Meacham <john@repetae.net>**20060303010643] 
hash: 0000001033-af55bb87bed18daf3f3584c57b9f4b5857e9de7263571f179f19fe6e0106a14b
[shorten directory names properly
John Meacham <john@repetae.net>**20060303040232] 
hash: 0000000305-0bc795d7fe2d8368bfd3baedb8d41863a90ad159be009e662b2c0643794118cd
[allow coersions on arbitrary subexpressions
John Meacham <john@repetae.net>**20060303042203] 
hash: 0000000319-86937fbe496a4809da2daa955f1b123ed5873b3940c97ff32077b844704f80b2
[make show instance for kinds a little prettier
John Meacham <john@repetae.net>**20060303042227] 
hash: 0000000412-2b8b72cc435f8907e426d8efca6c1f2f71d6b79efb9ce1f8f75617f182f11798
[add fromTArrow and fromType utility routines
John Meacham <john@repetae.net>**20060303042417] 
hash: 0000000928-2e565d403a26bf0ba84d7e6b551c69c7df8bf2c0e7c7033f27e591e98d8fbe1c
[use declarations after they have be rewritten by the typechecker, have the typechecker insert coercions wherever it pleases, generalize on skolomization properly.
John Meacham <john@repetae.net>**20060303045214] 
hash: 0000005330-dd59591b251fe371f7452671e5a391d61a2b9edc18e0c2dcd0d4aeeed0379e5c
