TypeScript = JavaScript done right