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.