Re: [basex-talk] Dr. Mike Kay's proposals for XPath and XQuery 4.0