Improve the OOP ABI

[FeepingCreature]

On Thursday, 28 September 2023 at 19:25:15 UTC, Richard (Rikki) 
Andrew Cattermole wrote:
> I said this on Discord, but that means all TypeInfo has to be 
> exported, even for executables.

Yep, and as I said, I don't think that harms anything.

Note that you can still remove TypeInfo that isn't referenced in 
an executable/library; the only TypeInfo that needs to be 
exported are those that you actually look at. And those need to 
be in the binary anyway. So I really don't see where the problem 
is here.