A number of the default_namespace queries don't pass static typing (according 
to the Formal Semantics rules).

We believe it would help to declare the types of the parameters and function 
result in a number of queries. Also note that all other relevant queries in the 
DefaultNamespaceprolog do include the appropriate type declarations.

- default_namespace-007.xq
Change the function signature as follows:
declare function foo($a as xs:integer)

- default_namespace-008.xq
Change the function signature as follows:
declare function fact($n as xs:integer) as xs:integer

- default_namespace-009.xq
Change the function signature as follows:
declare function fact($n as xs:integer) as xs:integer

- default_namespace-011.xq
Change the function signatures as follows:
declare function fn1 ($n as xs:integer) as xs:integer
declare function fn2 ($n as xs:integer)  as xs:integer

Thanks,
Marc