Began generalizing automaton to arbitrary types
Added Globally to accepting states, began abstraction of Automaton to allow arbitrary types
Fixed automaton comparison