You can now create new tags on the /tags page

[copymonopoly]

You’re absolutely right, thanks for explaining it so clearly.
I misunderstood how tag synonyms currently work — it seems this behavior is already implemented perfectly.