Capability for Frozen Modules

In order to implement (parts of) python modules in python, we need frozen modules.