Syntax updates#6239

duncdrum wants to merge 9 commits intoeXist-db:developeXist-db/exist:developfrom

duncdrum:dp-syntax-fixesduncdrum/exist:dp-syntax-fixesCopy head branch name to clipboard