Checking idrefs against ids

[mbakeranalecta]

We check for duplicate IDs, but we don't check that all idrefs point to valid IDs.

It would seem like this check belongs at the end of the parsing process since there is no rule that says an ID must be defined before the idref that refers to it.