Update TypeScript.py