docfix: add release operator
pep8
replace "" by '' strings

for several cases " does not need to be escaped
bugfix: operator not always defined

parent class should be agnostic of children details
avoid errors due to local import out of package
accelerate transys import

by only conditional import of graphics
add syntax check for LTL fragment convertible to set BA, so GR(1)