bootstrap:unify: unify_non_generic: don't use typ_check_isa: unify is symmetric
bootstrap:unify: unify_non_generic: don't use typ_check_isa: unify is symmetric

nanocritical/n,nanocritical/n,nanocritical/n,nanocritical/n