Warn if any symbols are duplicated.

Because that would have a very confusing effect.