Clojure: further work on new p-graph morphism ideas