Idea: Typescript with a sound type system

- Syntax looks like typescript
- Type system is sound: https://dart.dev/language/type-system#what-is-soundness
    - Example: Rust type system is sound. Typescript type system is not
- Will compile to machine code (not transpiled to js)
- Additional features: #9 