#27 Add automata inference construct

[Peter Klügl]

Add a new type of block: A finite state automata will be composed of the rules in that block. First language construct without a imperative rule execution.