Ի՞նչ առաջադեմ հնարավորություններ եք գիտակցում TypeScript-ում՝ ճկուն տիպերի կառավարում համար՝ utility types, conditional types, generic պարամետրերի սահմանափակումներ և այլ։