Kuras ir progresīvākās TypeScript funkcijas, kuras pazīstat elastīgai tipu pārvaldībai: utility types, nosacījuma tipi, ģenerisko parametru ierobežojumi un citas?