Properly complain if people try to reuse symbols.

Fixes #1510