Starting with inventory:
0000002199-68c6a8e95938f932d5df3f3b2b5bd7f8c804456a41037c1b6c393c2e5ed0b02d
[TAG wijoqueveju
John Meacham <john@repetae.net>**20051205112439] 
hash: 0000001266-b59951264f52b042d69a66192fd4f6e663acf4a78f24334f4bad583239b591d5
[print higher rank types properly
John Meacham <john@repetae.net>**20051205112451] 
hash: 0000004118-b1061668af2861d104575b259425c22a03583272faa7859970e4624f6a810147
[get rid of some calls to 'head'
John Meacham <john@repetae.net>**20051205145223] 
hash: 0000001482-3633602f00be4855a79e17c054e89176c65701716c657d9ff8cb00fcc673048e
[make DataConstructors handle polymorphic components. change the translation of types to E
John Meacham <john@repetae.net>**20051205150330] 
hash: 0000007903-1efbd3f4772365522ee34504cf702c6eb85e7b1b517ea9ad9ff8b9d02c89d7ee
[add ability to have complex pragmas, fix pragma parsing, allow warnings to accumulate during parsing and lexing. make parse monad member of useful classes
John Meacham <john@repetae.net>**20051206042714] 
hash: 0000005410-9146d0c06f54f9952e5a67e49103032ca287ad0ed399ca28e30dce0d396458e8
[replace the typechecking monad with one based on the monad transformers, clean up the code somewhat
John Meacham <john@repetae.net>**20051206082852] 
hash: 0000004778-c7e0eab1fc4fb1a0bf3838411c47868f5250770afbcedfc586596a92614c2f77
[clean up kind inference
John Meacham <john@repetae.net>**20051206090331] 
hash: 0000004212-9d4ecb0284c71b411baa97fb7369082d8eaa21dec0362d2fa4146d81ab525970
[use 'Name' rather than HsName in type checker. other cleanups.
John Meacham <john@repetae.net>**20051206123137] 
hash: 0000039672-a7deff7e15eaad3272b21b1a4738e5a439c75d1b065ab1c25623443e29ff5208
[remove last vestiges of old class class
John Meacham <john@repetae.net>**20051206130417] 
hash: 0000003183-cb77acb16be0b48683987f24925822da68195b69ecde4de46e487cb23cd67ecd
