Your proposals are going to slow down tons of real-world C programs that are not engaged in these types of manipulations, to the point where people writing high-performance software are better off using Python, or need to make so many changes to their source code to recover reasonable performance that they might as wll make a few more changes and end up with Go and Rust.

If you really think C is enough of a disaster that this is justified, why even care about fixing C?