If we program by conjuring spirits

Where in the CPU the spirit is located?

>>6
But if your language is absolutely untyped, you also need to test your code passing objects/strings/etc as input data, or make sure it is impossible (write type checks throwing errors in each function).
So, type checking is limiting the amount of tests you need to write.