got psgraph working (modular combinators) - starting looking at new goal type