Quali funzionalità avanzate di TypeScript conosci per una gestione flessibile dei tipi: tipi utility, tipi condizionali, vincoli dei parametri generici e altri?