XSD: Add type existence checks.