Do not allow duplicate name overrides in NameResolver

Re-instating this behaviour as incorrect JSON can be generated
if a single short name maps to multiple URIs.