#REDIRECT [[XPath 2.0 type annotations]]