I would definitely shorten IPv6. If IPv6 had been 64-bit it would already have replaced IPv4. The loooooooong addresses are a huge usability problem, and usability is the largest influencing component for adoption.
Advocates seem to respond by saying "use DNS," which shows me that they've never really done any IT work or are forgetting their experience. Every IT person knows "its always DNS." When DNS is down, the first thing you have to do is type IPs. You also have to type IPs a lot when setting things up, often on keyboards hanging off things in data centers and other inconvenient spots. Don't get me started on embedded stuff.
If IPv6 continues to stall, I think it might be worth introducing an RFC to retroactively shorten it. You'd leave the addresses the same really but you'd re-interpret the first 64 bits as the IP and the last 64 bits as a kind of extended port field. Specifying those bits is optional and they default to zero.
Then change assignment recommendations so every ISP endpoint gets at least a /48 (/40 preferred, /32 for business and larger links) and deprecate SLAAC in favor of DHCP6.
Lastly change the representation to something like:
feed.d00d.dead.beef[.deadbeefcafebabe]
(that's valid hex for anyone who doesn't know that's valid hex)
Anything whose least significant bits are all zero like feed.d00d.0.0 would of course be an IPv4 address.