clean up type analysis code some, be sure to specialize arguments of applications
clean up type analysis code some, be sure to specialize arguments of applications

darcs-hash:20070606030040-1a7c6-ec2f499f33cc26012a6c8cb5af001297f3c668c3

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc