Module slot for checking ABI compatibility

Yes, ideally you wouldn’t use it. I added it for hacks, hotfixes, and specialized loaders.
Also note that the slot I’m proposing isn’t meant to catch any ABI incompatibility – it’s meant to guard against common mistakes.

Sounds like we might need a new export hook in the future! Or a different filename tag at least.