TYPE_SUBST_IMP and start on INST_CORE_IMP