Subset Construction implemented, bug broken.

Need to work out all of the bugs and exceptions, but algorithms are implemented and ready to go.