Merge pull request #3 from IvanMalison/master

Add a dumb main function.
add test for word construction
add word type
WIP for Regex
-a
Fixed compliation errors in Regex.scala
change name of map paramter in DFA.
Update Regex.scala
add arbitrary union class
WIP commit. THINGS ARE BROKEN.
Fixing compilation errors.
Finish fixing compilation errors.