use new type analysis, clean up E generation
use new type analysis, clean up E generation

darcs-hash:20060224073811-1a7c6-42c54884b04e71834727a1577647b9b4361445f4

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc