რა წინაპირობები გაქვთ TypeScript-ისთვის მოქნილი ტიპების მართვისთვის: utility types, პირობითი ტიპები, გენერიკ პარამეტრების შეზღუდვები და სხვა?