add new function _dumps_states for transition systems

which improves the formatting of states and their atomic proposition labels.
Affects both FTS and OpenFTS.
add new method is_consistent to TypedDict and LabeledDiGraph