fix typo in function name
make States hashable
give better error message if subpropositions of a Domain map outside the expected range
let goal_id be specified when creating a new state
change algorithm for strategy export to .dot file, in order to support non-explicit-state strategies too
export more information about jx in symbolic strategy from JTLV, and properly make use of it when executing strategy