GraphDefinition allows the assertion of a profile plus additional expectations around related artifacts. For certain types of constraints, it can be a much more efficient way of defining expectations, particularly when dealing with messages, documents and other Bundles. We should allow it in ElementDefinition.type.targetProfile and type.profile. (The latter is needed for things like Parameters or Bundle where the type is actually a resource rather than a reference to one.)