TS has a lot of DNA from the failed ES4 attempt. I think we need something quite a bit more radical than Typescript. We have "use strict" and I think we need

TS has a lot of DNA from the failed ES4 attempt. I think we need something quite a bit more radical than Typescript. We have "use strict" and I think we need to add "use types" too. In that mode, we need to disallow the more dynamic parts of JS. They add TONS of typing headaches resulting in poorly-typed projects and they hurt performance too. This could allow for a much more simple type system and allow a path forward where things like type coercion aren't a thing.