What if: 1. The default will be dynamic typing. But you can change that. 2. You can specify a specific module you release as static. This will only affect the

What if: 1. The default will be dynamic typing. But you can change that. 2. You can specify a specific module you release as static. This will only affect the internal parts of the module, with one exception - when you call something of that module with the wrong type, you'll get a warning "this runs XX times slower because of a wrong type, change..." , but when you run it with the right type, you'll get great speedup ?