[TAG atshutetjasa
John Meacham <john@repetae.net>**20060303045321] 
<
[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] 
[add fromTArrow and fromType utility routines
John Meacham <john@repetae.net>**20060303042417] 
[make show instance for kinds a little prettier
John Meacham <john@repetae.net>**20060303042227] 
[allow coersions on arbitrary subexpressions
John Meacham <john@repetae.net>**20060303042203] 
[shorten directory names properly
John Meacham <john@repetae.net>**20060303040232] 
[print better error messagses for type error on lambdas
John Meacham <john@repetae.net>**20060303010643] 
[make absurds always match each other
John Meacham <john@repetae.net>**20060302234804] 
[infer new type after type analysis specialization properly.
John Meacham <john@repetae.net>**20060302231842] 
[make recursive bindings get coerced correctly to the right type
John Meacham <john@repetae.net>**20060302225442] 
[utilize coercion information to add type lambdas
John Meacham <john@repetae.net>**20060302123118] 
[relax dependency analysis, infer non-recursive values in a boxy type.
John Meacham <john@repetae.net>**20060302123025] 
[add type annotations to rule free variables
John Meacham <john@repetae.net>**20060302071940] 
[perform occurs check before splitting boxyvars.
John Meacham <john@repetae.net>**20060302063228] 
[use coercions generated by typechecker rather than specialization to apply type variables
John Meacham <john@repetae.net>**20060302050431] 
[lots of cleanups in E.FromHs
John Meacham <john@repetae.net>**20060301035905] 
[TAG payshejabs
John Meacham <john@repetae.net>**20060301032920] 
>