What is a Document Type?