Расскажи про объединение (union) и пересечение (intersection) типов в TypeScript.

Union A | B допускает значение одного из вариантов, intersection A & B требует одновременно удовлетворять обоим типам.

Перед обращением к специфичному свойству union обычно нужно narrowing. Пересечение объектов объединяет требования, но несовместимые свойства могут привести к never. Это операции системы типов, а не объединение или копирование объектов во время выполнения.