Two distinct sorts of XML Types: local and global.
Why shouldn't ``an IDREF whose target is an element of type foo'' be a type?