[XQuery] BEA_021

XQuery: incomplete specification, request for clarification

The XQuery specification does not seem to require that all the in-scope
schema definitions that are referred in a variable type declaration
or a function signature of an imported library module have to also
be in scope in the importing module.

Moreover, the XQuery specification does seem to impose any consistency 
constraints
between in scope schema definitions in the static context of a main 
module
that imports a library module and the in scope schema definitions with 
the
same names in the library module.

Both should be required as consistency constraints, and stated in 
section 2.2.5.