XPath 2.0 implementation

In accordance with changes agreed by the working groups, the sequence type empty() is now written void(), to avoid confusion with the fn:empty() function.