Recursive Nesting: Alternation -&gt; Optional -&gt; Alternation.