XQuery 1.0 and XPath 2.0 Formal Semantics

Add a description of XQuery 1.0 and XPath 2.0 Formal Semantics