Comments added
Haddock style comments added to the code and made some progress in NFA construction.