core: use checked kinds when checking imported types