Finished implementing union and intersect of DFAs