Description: Strong static type checking: interpreter and compiler check if functions match operands on the stack, to find type errors at compile time. Allows operator overloading by using the same name for different words. Text only. Much like ANS Forth. In MiscTech downloads.