Check unions for instance-identifier types