This adds risk with no reward. People won't use it in production because it is too big. In development, map files work fine and people will still use them beca

This adds risk with no reward. People won't use it in production because it is too big. In development, map files work fine and people will still use them because this isn't feature complete with TS. At most, it locks JS into an unchangeable type syntax that may or may not work out. Instead, we need a `use type` mode that fixes more of JS. I want type coercion gone and the super-dynamic parts of the language restricted (this both makes types more simple and makes the language more optimizable). I'd also like to see Option and Either types baked in and have `null` removed or severely restricted.