Hmm ... interesting point. I'm not totally aware how the @null account works, but I think it does remove the tokens from supply. What you are saying above is a fair point, but I guess we will need a very special account for this, with no keys at all, something that would probably require a HardFork. Or maybe just tweak the @null account to not remove the tokens from supply.

Some of the witnesses should be asked about this, is it possible and how to do it?