Fix is_op(). Fix NFA::transition() and NFA::take_unlabeled() to union properly. Tweak formatting in parse