make type synonym expansion rename local binders when expanding synonyms
make type synonym expansion rename local binders when expanding synonyms
hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,shinnya/jhc-mirror