What is the intended scope of `TypeEgal`'s exposure?

Julia 1.14.0-alpha1 has been released, so I’d like to ask a question. Starting with Julia 1.14, end-users will easily encounter TypeEgal. julia> VERSION v"1.14.0-alpha1" julia> zero(String) ERROR: MethodError: no method matching zero(::Core.TypeEgal{String}) The function `zero` exists, but no method is defined for this combination of argument types. [...] While this is a minor issue compared to the benefits of TypeEgal, is it definitely intended behavior for TypeEgal to appear in the error m...