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