[TAG bosdudlahelv
John Meacham <john@repetae.net>**20051206130508] 
<
[remove last vestiges of old class class
John Meacham <john@repetae.net>**20051206130417] 
[use 'Name' rather than HsName in type checker. other cleanups.
John Meacham <john@repetae.net>**20051206123137] 
[clean up kind inference
John Meacham <john@repetae.net>**20051206090331] 
[replace the typechecking monad with one based on the monad transformers, clean up the code somewhat
John Meacham <john@repetae.net>**20051206082852] 
[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] 
[make DataConstructors handle polymorphic components. change the translation of types to E
John Meacham <john@repetae.net>**20051205150330] 
[get rid of some calls to 'head'
John Meacham <john@repetae.net>**20051205145223] 
[print higher rank types properly
John Meacham <john@repetae.net>**20051205112451] 
[TAG wijoqueveju
John Meacham <john@repetae.net>**20051205112439] 
>