Validate a document against a dtd.
validate takes a DTD and a tagged element, and returns a list of
errors in the document with respect to its DTD.
If you have several documents to validate against a single DTD,
then you will gain efficiency by freezing-in the DTD through partial
checkMyDTD = validate myDTD.