#106730 has paved the way for such a builtin. We would also need to add a builtin that returns the result of comparing two types by mangled name.
There is some preliminary work for this in the following draft PR: #152118