TypeScript'in esnek tip işleme için bildiğin gelişmiş özellikler nelerdir: utility tipleri, koşullu tipler, generic parametre kısıtlamaları ve diğerleri?