Introduction to Document Types