* [GRAPH_THEORY,NEW] Added walk/[3,4].
* [POSET,NEW] Added identity/3, maximal/2, maximum/2, minimal/2, minimum/2.