[MOD] Core, XQuery: type-safer processing of options and parameters