clean up type analysis code, fix bug in passing type argument to rules
clean up type analysis code, fix bug in passing type argument to rules
hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc