Open-sourcing the new TypeScript type checker