Because Kixtart is deliberately untyped, type checking is contrary to the design of the language. Although I have a strong preference for typed programming languages the fact remains that Kixtart is a scripting language, not a programming language, and therefore has different design objectives.