style and pep8
bugfix: correct formula in case of actions with int values originally
shift code
separate style from content: masking belongs to exporting
machine state vars not essential in this case

they just consume memory and introduce unnecessary redundancy.
If you really want them, then process the machine further to add them using an incoming edge for each state.

This reduces complexity and increases readability of strategy2mealy.
new AST class: Operator

to host the "to_lang" methods. Subclass Unary, Binary and hence all operators from Operator.
Rm "to_lang" methods from Unary and BinTempOp: they were copy/paste of each other.
Mv them to Operator (and implement them by calling a single generic function _to_lang). Only UnTempOp.to_gr1c differed in that it handled prime propagation.

Potential bug: BinTempOp.to_gr1c accepted "primed" as arg, but didn't propagate it. This laid hidden because no binary temporal operators are used in the GR(1) fragment.

Rm also "to_lang" methods from And, Or, Xor, and use the language maps instead. This ensures all operators are explicitly converted through the corresponding language map and don't go unnoticed.
make syntax maps for tools more complete

because they now need to be complete.
shift code
add LTL_AST.__str__
improve logging
add eval methods to ast

for the purpose of demonstrating later that they are a really slow solution to be avoided, in favor of using the builtin compile and eval.
style and readability: don't use joint for 2 and 3 elements
optimize intensely executed code in Unary.operand
bugfix: AST Not must call flatten
bugfix: to_python must call python flattener
simplify
raise Exceptions as soon as parsing fails

better sooner than later when it comes to catching errors.
bugfix: lists not used as arguments any more
bugfixes
bugfix: don't return prematurely from within iteration, instead continue