If the proposal goes through, the ECMAScript standard will change and have more grammar rules. Additionally, there are several TS features not supported by JS + type annotations (IIRC).
Type-stripping does not change JavaScript: Its input is real TypeScript with most TS features. Its output is normal JavaScript.