Rework the automata library along with the interval-based collections

[LPeter1997]

The current automata library has a couple of issues, like the excessive amount of interfaces and no cancellation token possibility for the long-running processes. A bit of rework would be neat before the first release.