Better static type checking for XQuery

Dear Sirs,

In addition to using more accurate type checking rules, it may be
possible to make XQuery static type checking more user-friendly by 
relaxing some of the rules.

Does anyone know of any useful relaxations for static type checking rules
which would produce fewer type errors without unduly sacrificing type safety?

In order to remain sound, any such relaxations would essentially have to move
selected type checking from the static environment to the dynamic environment.

--
This message uses a temporary e-mail address to defeat spammers. For the 
latest contact information please call (678) 533-4405