Namespaces should only be required (maybe) if a tag name is used by more than one namespace in the scope. Otherwise the plain tag name should always be sufficient. Design mechanisms used by ClassView and MuisToolkit when looking up tag names to be smart about which namespaces are checked first. Think about whether we should throw an error on a name clash (with no ns specified) or just take the first priority one.
Namespaces should only be required (maybe) if a tag name is used by more than one namespace in the scope. Otherwise the plain tag name should always be sufficient. Design mechanisms used by ClassView and MuisToolkit when looking up tag names to be smart about which namespaces are checked first. Think about whether we should throw an error on a name clash (with no ns specified) or just take the first priority one.