The main challenge with those three issues, to me at least, is that it cannot even tell you, "yep, you need minor changes for Codon to work." It'll just work until it doesn't at runtime because your violates one of those three assumptions. So to migrate, we would have to go and figure out all the possible cases those things matter and guard against them. Not really unpalatable, just not so much a nice migration path.
Also, I'm not actually sure what they mean by internal dict sorting. Do they mean insertion order stability?
Also, I'm not actually sure what they mean by internal dict sorting. Do they mean insertion order stability?