Typing is bolted on rather than a native concept, for one.

Why is that a problem?

Because types are important and having them be a native part of the language creates opportunities for error checking, editor completions, and LLM bounding.