* Refinement of all the grammars. Extensive improvement of the parsing.
* Integration with Pythomata `>=0.3.0`
* Simplified interfaces and refactoring of the class hierarchy for the logic modules.
* Introduced FiniteTraceWrapper. It allows evaluating any propositional over a finite trace.
* Several bug fixes and improved testing.
* Improvement of docs and metadata consistency.