Modules

Establish an ISA relationship with base classes at compile time, with version checking.