Removed the deep_freeze method.

This method is no longer needed. It was only used by the built-in definitions
when they were still stored globally.