[Automata.hs] Automata class comments and rewriting of functions.