We should check for "overlapping" nested document type definitions with the same name and show a helpful error message for it.