Dynamic type systems aren't even simpler

The best example of this is Forth. No type system whatsoever. So every function call has be choosen specifically for the type of data on the stack. e.g. adding integers and adding floats is two different functions.