I doubt whether there are use cases for procedural extensions that cannot be solved in a more declarative way by extending XQuery with more functional programming language features like higher order functions, closures, etc.