First cut of bug fixing and refactor
Finished modifying (untested) the LetterFSA.hs file
Merged changes with new LetterFSA.hs changes, and did more bug-fixes