Given how long it's been since IPv6 was released, I'm surprised that there hasn't been a big proposal for an IPv7 that would fix the alleged problems with IPv6. Has anyone worked on anything like that?
It's more the case that the panic around IP space exhaustion turned out to be unfounded - or at least we've been able to work around it for much much longer than expected. Back in 1994 the IETF predicted that the internet would stop working in 3-7 years. Almost 30 years later we're still going. So there's no sense of urgency to invent something better. For the record I also believe that v6 will be abandoned and event…
The problem is that v4 isn't forwards compatible with larger address spaces, and that's a problem that any protocol with >32-bit addresses faces, because it's a problem with the design of v4, not the design of the new protocol. Replacing v6 will not help.
> the lack of NAT is really an anti-feature.
v6 doesn't lack NAT -- what it lacks is any sane reason to use NAT. That's a good thing.