First version of working clausal goal type. Minor testing only done. Need to put it in with a PSGraph still.