changed getTypeInst handling for distinct types
changed getTypeInst handling for distinct types

singularperturbation/Nim,singularperturbation/Nim,haiodo/Nim,dom96/Nim,russpowers/Nim,russpowers/Nim,haiodo/Nim,zachaysan/Nim,dom96/Nim,tulayang/Nim,haiodo/Nim,jfhg/Nim,tulayang/Nim,mbaulch/Nim,dom96/Nim,singularperturbation/Nim,zachaysan/Nim,russpowers/Nim,mbaulch/Nim,zachaysan/Nim,russpowers/Nim,tulayang/Nim,mbaulch/Nim,tulayang/Nim,dom96/Nim,mbaulch/Nim,tulayang/Nim,mbaulch/Nim,zachaysan/Nim,haiodo/Nim,zachaysan/Nim,singularperturbation/Nim,jfhg/Nim,jfhg/Nim,mbaulch/Nim,zachaysan/Nim,singularperturbation/Nim,dom96/Nim,dom96/Nim,tulayang/Nim,haiodo/Nim,haiodo/Nim,russpowers/Nim,mbaulch/Nim,russpowers/Nim,haiodo/Nim,jfhg/Nim,dom96/Nim,jfhg/Nim,zachaysan/Nim,singularperturbation/Nim,russpowers/Nim,jfhg/Nim,jfhg/Nim,singularperturbation/Nim