To address #3, you need fundamental new language features or semantic models. For example, to make lifetimes safe with adequate expressivity needs GC, a borrow checker, or [some other tech].
And all three, especially combined, require an evolution path beyond backwards compat.