Maybe finish with well-formed action graphs as their own type.
Put the gCARD operation into actionGraphTheory