Because at least Verona is a research language. It is meant for proving concepts, not for writing code for production. I haven't looked into checked c, but one can have multiple research projects in similar directions in order to explore the entire space of possibilities.