automata v0.1.0 Automata.Reasoning

MMLC - Meta-MultiLevel Control