Added union to NFAe.hs