Note that global name equality isn't transitive.
Make globalnames unicode-friendly.