Higher-Order XQuery Modules