Yes indeed. I think the main reason it hasn't been done in the past is the difficulty (impossibility?) of producing an XPath 2.0 serialization of the expression that has no dependency on the namespace context. That remains a problem with XPath 2.0, but is solved in XPath 3.0.
This is what we have implemented to, but just for XPath now.
Would make a nice addition to Saxon itself I think.