Yeah, I think the ultimate objective should be to find settle on a syntax which can be a proper part of the language, so that the effort to build out the other things that would depend on it can be justified.
Fun sidenote though, for the adjoint-hijacking script, you can use : instead of □. There’s hardly an instance that you would care to send : as an argument to a function anyway.