Add strict type checking and annotation enforcement to _freeze_module.py
Source files for binary executables (as opposed to shared modules)