2) TS becomes the official mainline, whoever doesn’t like types can just keep writing as they did before, because valid JS is valid TS
Problem solved, it’s not that difficult.