There is zero chance of such a proposal ever passing, in any version of it. Bitcoin is divisible by 100M satoshis. Even if we had only 1M Bitcoin left, it would be more than enough. If its value would increase too much you could add another unit smaller than satoshi. This would make it usable even if there was only 1 Bitcoin left in the circulating supply. Diluting the market by reintroducing lost coins is a very bad idea. As an outsider you can never prove with certainty that coins are actually lost.