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.