#2 Enforce type checking

[Rowland Smith]

Enforce type checking during dynamic loading of
classes, modules, etc.