Delete obsolete read_nonbool_state_str()
DOC TRIV: cross-reference similar functions
TEST, EXAMPLE: change name to indicate boolean-variable-based gridworld
Extend patch_localfixpoint() to nonboolean domains!