Changes to Config.hs

[subttle]

Ideally this class should require only toGraph, initial, and final functions.

[subttle]

Also it might be nice to make empty, epsilon, literal, fromSet, etc. into part of some class using an existential type variable for q, but perhaps this should be another separate issue.