julia

Move `typename` and `<:` to Core and have inference check by value

#55289

Merged