Starting with inventory:
0000001985-f383ace89b29c53b18ff44c4ce99b73dc03da12fbecec69e231ee1d73a10d04e
[TAG ujfuheckeka
John Meacham <john@repetae.net>**20060228035830] 
hash: 0000001134-970094df66223d149532390b46080ec0f8fafe2f321315ec54230cdd53722c8a
[make specialize handle rank-n meets rank-n properly.
John Meacham <john@repetae.net>**20060228071410] 
hash: 0000001236-1559060ac649e07c1744313bef18581534c0cea665e1e266a771d8d8034a7bec
[export hoistType
John Meacham <john@repetae.net>**20060228071505] 
hash: 0000000114-6624b5938f73846be55fa9e961504b31d9fd4bfe41bd9b7ebe3be23c6f892457
[add ability for subsumption checking to return a coercion term
John Meacham <john@repetae.net>**20060228131603] 
hash: 0000004400-6ae925746d2d339a69d996aa698df0665715fb0d0137bca22cedda8f77817e34
[get rid of calls to isMetaTV
John Meacham <john@repetae.net>**20060228133346] 
hash: 0000000857-89fb933c0bd0cdb1de40725338ecbb82bee01a2fbdf27b32cc186bc6334262ad
[clean up some code. pass coercions to TiData
John Meacham <john@repetae.net>**20060228152813] 
hash: 0000001079-23f5ee43114d93b0d824501d71f29acdbdb0bc9ee305b9ce56c59b31013635c1
[make E.FromHs conversion happen in the 'Ce' monad.
John Meacham <john@repetae.net>**20060228152819] 
hash: 0000013104-1cb282bed51f33061173de62f71c85efb0a69ac79f16ab6cad2702a31623b8e4
[pass TiData into Hs -> E conversion, add environment to Ce monad
John Meacham <john@repetae.net>**20060301021734] 
hash: 0000003604-204ea74c4de9c7fdbc19165ea566425e39f27a1e6d6d8cf56fc2771b2b2dd979
[make foregin declaration conversion get names from Ce monad
John Meacham <john@repetae.net>**20060301031015] 
hash: 0000005456-ff0212a8e921a641e674fd0d7a21a44b6e7a64a97c7b411c129aef6b017e86cc
[get rid of last references to 'localVars' hack in favor of monadic fresh names
John Meacham <john@repetae.net>**20060301032723] 
hash: 0000002809-fc0b50a52cd1d2847ccec9d8902138e06f33130400e145989c35fab800dccfb5
