[TAG payshejabs
John Meacham <john@repetae.net>**20060301032920] 
<
[get rid of last references to 'localVars' hack in favor of monadic fresh names
John Meacham <john@repetae.net>**20060301032723] 
[make foregin declaration conversion get names from Ce monad
John Meacham <john@repetae.net>**20060301031015] 
[pass TiData into Hs -> E conversion, add environment to Ce monad
John Meacham <john@repetae.net>**20060301021734] 
[make E.FromHs conversion happen in the 'Ce' monad.
John Meacham <john@repetae.net>**20060228152819] 
[clean up some code. pass coercions to TiData
John Meacham <john@repetae.net>**20060228152813] 
[get rid of calls to isMetaTV
John Meacham <john@repetae.net>**20060228133346] 
[add ability for subsumption checking to return a coercion term
John Meacham <john@repetae.net>**20060228131603] 
[export hoistType
John Meacham <john@repetae.net>**20060228071505] 
[make specialize handle rank-n meets rank-n properly.
John Meacham <john@repetae.net>**20060228071410] 
[TAG ujfuheckeka
John Meacham <john@repetae.net>**20060228035830] 
>