Tech Notes: TypeScript at Google