Modules are now "extensions"