By the way, not directly related, but I wonder if there are at least libraries to build type safe XQuery statements?