bugfix: use list, not set for enabled_trans

because dict is unhashable.
Also, refactor MealyMachine.reaction
add function: synth.determinize_machine_init

and tests for it.
bugfix: missing import
improve doc, some style and pep8 changes