Give unique names to globally-visible type tags

Fixes #43