Starting with inventory:
0000001308-1983c6424984f42393a351e9357325d76d5d544dac246f8b700cdabae60823bf
[TAG iacdubdieb
John Meacham <john@repetae.net>**20060212152720] 
hash: 0000000702-db09657e917c0ec75cc56b73de0cb537b6eac99d4882d7d98c5d3e17d6a1c68c
[typecheck explicit type signatures directly rather than desugaring them into lets
John Meacham <john@repetae.net>**20060213044213] 
hash: 0000000692-ce82135197eb88c8762b6df3a6ca0abd423eef3bb82e951d27957951afa95187
[add support for classes in generalization step.
John Meacham <john@repetae.net>**20060213065324] 
hash: 0000003451-f574b0544992bf6bcec9b7a42ff67e2b9a05c850d035fa7dbd8e152a9e3fbf23
[add front end support for existential types
John Meacham <john@repetae.net>**20060213074638] 
hash: 0000007692-d1c36abfa2a4563e9574c100a0ef13aa2b9c613c4b71bd77b7cfb0fd61890605
[more support for first class existentials
John Meacham <john@repetae.net>**20060213093650] 
hash: 0000003619-19160a397b8b4fa961e9a9da1d2867cd10e88b68847ae35ad464aea687ebd1a0
[type check classes properly on implicit and explicit signatures. apply defaulting rules
John Meacham <john@repetae.net>**20060213154950] 
hash: 0000010740-26db97418567562dd46ac5886dcdeb1787fc6c89fb96ca1aa957408c5510118f
[implement top level defaulting.
John Meacham <john@repetae.net>**20060213171023] 
hash: 0000006294-6e0f2f175adab4c0c6a2c4c235d42ac16243ae9e4990c5f8e748768c2e165d06
[reorganize -f flags
John Meacham <john@repetae.net>**20060213174109] 
hash: 0000000697-c492d68879c17410e2a780acfd9c57d57ba726a948b46d4d866a7e0b662e716d
[code clean ups. print more debugging info with -dboxy-steps
John Meacham <john@repetae.net>**20060214020628] 
hash: 0000002300-1550267a12e6f84da0c6d9af0928d8a5c90c296300c45c23d3057c39eb44fad5
[Add TrueSet data type
John Meacham <john@repetae.net>**20060214043855] 
hash: 0000001906-2b97211bdcf6d266e321add8c2b3ef5741560f020cd9699b2e3c82ccbae09609
[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] 
hash: 0000004575-395fdad6ce80b72eefa23e75e150d914443c0d353fc5325a0e45185612ae2816
[switch to new hstype -> internal type conversion method
John Meacham <john@repetae.net>**20060214061122] 
hash: 0000002570-fcdcde738ce647af01bfe02f38b8c5552ad923d2a34f1b951847e87ba809dce2
[rename type synonyms with arguments properly
John Meacham <john@repetae.net>**20060214063650] 
hash: 0000001354-44dfc34f053fae7ba5ffec4771ef93ece1e6667c314fabc2875a67219dc51531
[make type synonym expansion rename local binders when expanding synonyms
John Meacham <john@repetae.net>**20060214070636] 
hash: 0000002600-43a3c47f9f0de164a8627f3dc6d4fa47d5d644fe26d25eaf07334c4e984933f8
[remove defaulted metavars from quantification
John Meacham <john@repetae.net>**20060214072829] 
hash: 0000001060-54dff6f6d286b67fc55a4acb0d8392da3ab9255a532532c2d4bb4b559bde4552
[print better error messages on kind inference errors. change renaming of type synonyms
John Meacham <john@repetae.net>**20060214082854] 
hash: 0000003083-593e66cc2821f22d2dc5b5d1eebd818ea0486c5a3c906d1e2d604be74e95fda6
[improve type error messages, make boxy steps more verbose.
John Meacham <john@repetae.net>**20060214084643] 
hash: 0000002126-62a26e115f045315e59b63013e0b721999acfb16b46706c87664e98ec63f4dda
[add warning when defaulting happens, remove duplicate elements from defaulting metavar list
John Meacham <john@repetae.net>**20060214091515] 
hash: 0000001497-f32634b0424169f824b6ac6cbb5ea7d6a96fb7c5e8ad22e225c8e14183400478
