thesis-TypeScript-typesystem