unifty appTy2dict and simpleTy2dict and use recursively (065), improved but imcomplete.
unifty appTy2dict and simpleTy2dict and use recursively (065), improved but imcomplete.

unnohideyuki/bunny,unnohideyuki/bunny