working on collapsing the optional/repetition edges.
and then to add the epsilon?
Hmmm: perhaps optional/repetition/sequence and alternates should just
manipulate graph directly???