That's one of those things that are never going to change. Julia's very specific type system is one of the major features and so much of the language and the ecosystem is build around it.
Abstract interfaces seem perfectly compatible with the type system, for example. I think the situation with traits could be improved somewhat as well.
And there is no question that the situation for static analysis could be improved without having to overhaul Julia's type system.