Take Automaton out of standard libraries for now
Get rid of dead code in Prelude. Need to figure out how to kill prelude entirely.