XQuery 4.0 extensions

From 12.3, XQuery switch expressions are generalized so that each case may match multiple values, for example case 0 to 9 return "single".

From 12.3, some of the constructs in a FLWOR window clause become optional, for example it is no longer necessary to say when true().