I love this. I was thinking about a "cleaned up" typescript for a while now, and this seems to be it. I believe this can work better as an "ai-first" language than some other attempts I've seen that try to reinvent the language from scratch.
One thing I would love to have as a feature is native compilation.
Native compilation should be doable already with a Wasm compiler like Wastrel.
One reason I haven't explored that is that I want to tailor the language for the more constrained environment of Wasm GC first.