Idea is to expressing higher order goals as declarative events, which are then processed with the nature goal system.
ex:
<(HG0*make_coffee) --> GOAL>. :|:
(<(HG0*make_coffee) --> GOAL>, (^nal9_execAndInj( (^really_make_coffee, HG0), G0))) =/> G0
G0! :|: