Document input declarations

On Section 5.1.1, it is stated that "The declaration of a document input 
identifies"

- "the name of the port,"
- "whether or not the port accepts a sequence,"
- "and whether or not the port is a primary input port."

but the declaration has "select? = XPathExpression", which is not stated 
in the text, as well as child nodes (p:empty, p:document, p:inline).

If the input declaration is to be general, it lacks the "kind" attribute 
(which is formally mentioned 4 paragraphs after it).

Otherwise, if it is not supposed to be a generalised form of document 
input, @select, p:empty, p:document and p:inline should be removed from 
the declaration (if I understood things correctly).

Cheers,
Rui