semantic: Correctly smart copy Unions