An alternative idea for a typed language living alongside/inside JavaScript

A new programming language concept called "Qwax" aims to create a simpler, type-safe alternative to TypeScript for JavaScript. Unlike TypeScript, Qwax would be a separate language with its own object system and full runtime type information. It would have a straightforward object-functional type system and maintain JavaScript semantics. Qwax would treat regular JavaScript as an unsafe "foreign" language, with limited interoperability. While potentially offering a simpler type-safe option, Qwax faces challenges such as development effort and runtime overhead.