tidied up old code, removed goal nodes, and instantiated graph following new quanto functors