Update RegExAutomata.hs

Finished with distributivity over <|> <.> however (*) still is a problem