Use symbol set name to identify symbols

Different symbol sets can reuse symbol names. To disambiguate them we need to keep track of symbol set names when inserting them.

Fixes #4781