I feel like at any point this functionality becomes desirable it would be trivial to implement in any language humans actually use.
This may mean Hoon once learned is easier to cope with than it looks (which I doubt, because it looks like vaguely Lisp-flavored assembly) or it may just mean that nobody like that has come along yet.
* pretty much everything actually useful is implemented as a jet
* the jets often don't actually match the supposed code they're accelerating (e.g. the Markdown jet has different bugs)
Instead of the stated intent of giving you control of your own environment, the actual goal appears to be the opposite.
The C standard library lacked a formal specification for over a decade after its creation. Lisp lacked one for almost thirty years. At least one of these should be an argument in favor of "build it first, formalize it later".