> Because Kixtart is deliberately untyped, type checking is contrary to the design of the language

I only sugested it because if it supported declaring the type in a function, it should almost naturaly give an error when the wrong type is passed (thus type checking).

Just a thought.