drop `module()`

I’ll do an overhaul of the whatsit allocator, incorporating Stephan’s suggestions, next