don't filter untyped edge attributes by default
>
> when calling LabeledTransitions.find, instead offer an option: typed_only
bugfix: handle missing attribute keys in dot formatting definition
add support for defining both current and next actions on sys OpenFTS edges
improve multiple env actions test

by slightly relaxing the env safety assumption and checking that it becomes unrealizable