Update lib.ts.txt