Aké pokročilé funkcie TypeScript poznáte pre flexibilné zaobchádzanie s typmi: utility types, podmienené typy, obmedzenia generických parametrov a ďalšie?