[имя] для чего нужны branded types в TypeScript? Как типобезопасно различать идентификаторы разных сущностей, если оба идентификатора представлены строками?