[TAG iacdubdieb
John Meacham <john@repetae.net>**20060212152720] 
<
[don't print so much debugging info when boxy type infering, make E.FromHs handle a few new cases
John Meacham <john@repetae.net>**20060212152431] 
[make type checker generalize terms properly
John Meacham <john@repetae.net>**20060212140343] 
[more work on new typechecker
John Meacham <john@repetae.net>**20060212114652] 
[embed some useful info in the generated executable
John Meacham <john@repetae.net>**20060212083239] 
[add more rules
John Meacham <john@repetae.net>**20060212080352] 
[add array monad to library
John Meacham <john@repetae.net>**20060212072012] 
[TAG napecpha
John Meacham <john@repetae.net>**20060212071646] 
>