How about using `Symbol.isStable` or `Flags.isStable` ? I think conceptually, that's what you need: only stable identifiers can appear on a path in a type.

It looks like `Symbol.isStable` is more involved than just simple flag check. I don't know the reason behind it.