Parameter names cannot be in the XProc namespace

Hi,

Section 5.7.4 (p:with-param) demands that the names of parameters must
not be in the XProc namespace. Does anyone know why? I can understand
this requirement for p:option and p:variable, but why is this required
also for parameters?

The problem with this is that except for p:with-param, the names of
parameters cannot be checked statically: the user can pass parameters in
any namespace to the pipeline with no problems. Also, when binding a
parameter input port to a c:param-set documents, you have no control
over the parameter names.

We should either add a dynamic error for parameter names in the XProc
namespace, or drop this requirement.

Regards,
Vojtech