Quais funcionalidades avançadas do TypeScript conhece para lidar com tipos de forma flexível: tipos utilitários, tipos condicionais, restrições de parâmetros genéricos e outros?