TypeScript-də satisfies açar sözü nə deməkdir və nə üçün lazımdır?