Update RegExAutomata.hs

Finished primitives for RegExs