[TAG fuwryzyap
John Meacham <john@repetae.net>**20060226050936] 
<
[add SCRUTINIZED tag to type variables that are used in class constraints
John Meacham <john@repetae.net>**20060226050705] 
[clean up VMap code, treat placeholders differently. limit recursive depth of VMap.
John Meacham <john@repetae.net>**20060226044258] 
[add code to allow aborting fixpoint analysis if it is taking too long. add readRawValue routine.
John Meacham <john@repetae.net>**20060226044250] 
[don't consider types that are too nested as constant
John Meacham <john@repetae.net>**20060226034225] 
[pretty print results of type analysis in a prettier way
John Meacham <john@repetae.net>**20060226034004] 
[remove debugging print statements
John Meacham <john@repetae.net>**20060225144318] 
[TAG skoirmubir
John Meacham <john@repetae.net>**20060225142609] 
>