I wonder why functions like define-extension define-xpath-function/lazy define-xpath-function/eager define-xpath-function/single-type are not exported? Does it mean a user should use some other way to define extensions? Thank you, Andrew