TypeScript on Mars: How HubSpot Brought TypeScript to Its Product Engineers