Per discussion with @RandallBalestriero, add `logical-unification` and `cons` support for [`symjax`](https://github.com/RandallBalestriero/SymJAX) (i.e. `networkx.DiGraph`) graphs.