updates to automatalib formatting, ml subfunctions extended, can change automata rules in menu