[TAG duvmokdeyblu
John Meacham <john@repetae.net>**20060214091833] 
<
[add warning when defaulting happens, remove duplicate elements from defaulting metavar list
John Meacham <john@repetae.net>**20060214091515] 
[improve type error messages, make boxy steps more verbose.
John Meacham <john@repetae.net>**20060214084643] 
[print better error messages on kind inference errors. change renaming of type synonyms
John Meacham <john@repetae.net>**20060214082854] 
[remove defaulted metavars from quantification
John Meacham <john@repetae.net>**20060214072829] 
[make type synonym expansion rename local binders when expanding synonyms
John Meacham <john@repetae.net>**20060214070636] 
[rename type synonyms with arguments properly
John Meacham <john@repetae.net>**20060214063650] 
[switch to new hstype -> internal type conversion method
John Meacham <john@repetae.net>**20060214061122] 
[add FreeVars instances for types, create new type hoisting code, lets you select the variables to quantify over when converting haskell types to types
John Meacham <john@repetae.net>**20060214055148] 
[Add TrueSet data type
John Meacham <john@repetae.net>**20060214043855] 
[code clean ups. print more debugging info with -dboxy-steps
John Meacham <john@repetae.net>**20060214020628] 
[reorganize -f flags
John Meacham <john@repetae.net>**20060213174109] 
[implement top level defaulting.
John Meacham <john@repetae.net>**20060213171023] 
[type check classes properly on implicit and explicit signatures. apply defaulting rules
John Meacham <john@repetae.net>**20060213154950] 
[more support for first class existentials
John Meacham <john@repetae.net>**20060213093650] 
[add front end support for existential types
John Meacham <john@repetae.net>**20060213074638] 
[add support for classes in generalization step.
John Meacham <john@repetae.net>**20060213065324] 
[typecheck explicit type signatures directly rather than desugaring them into lets
John Meacham <john@repetae.net>**20060213044213] 
[TAG iacdubdieb
John Meacham <john@repetae.net>**20060212152720] 
>