Makes all synonym rough synonyms of existing.
if existing is not in the type schema.
if existing or any synonym do not uniquely define a single type. For example, if they are synonyms of multiple types. Hint: use IDs.