I'd expect a proposal for (1) to be well received.
The only proposal I recall that deals with (2) is http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2067.pdf. I think it's still being discussed.
(3) is highly unlikely if it involved ABI changes. Even if it could be done without such changes unless there is a precedent for it in an existing compiler (and preferably more), it would likely be a tough sell.
Is the linked proposal really dealing with unnamed struct types? I skimmed it and it seems like it is dealing with named constants.
Also, is there a proposal for (1) currently, or is someone planning on writing one?
Regarding (3), yes, this one was mostly wishful thinking.