haskell: Phase 11 conformance — wordfreq.hs (7/7) + mapgraph.hs (6/6), Phase 11 complete

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

plans/haskell-completeness.md

@@ -196,7 +196,7 @@ No OCaml changes are needed. The view type is fully representable as an SX dict.
   order, unionWith/intersectionWith/difference, foldlWithKey/mapWithKey/
   filterWithKey, adjust/insertWith/alter, plus 4 end-to-end tests via
   `import qualified Data.Map as Map`.)
-- [ ] Conformance programs:
+- [x] Conformance programs:
   - `wordfreq.hs` — word-frequency histogram using `Data.Map`. Source from
     Rosetta Code "Word frequency" Haskell entry.
   - `mapgraph.hs` — adjacency-list BFS using `Data.Map`.
@@ -307,6 +307,14 @@ No OCaml changes are needed. The view type is fully representable as an SX dict.
 
 _Newest first._
 
+**2026-05-07** — Phase 11 conformance: wordfreq.hs (7/7) + mapgraph.hs (6/6) → Phase 11 complete:
+- Extended `hk-bind-data-map!` with `Map.insertWith`, `Map.adjust`, and
+  `Map.findWithDefault` so the conformance programs have what they need.
+- `program-wordfreq.sx`: word-frequency histogram, `foldl Map.insertWith Map.empty`.
+- `program-mapgraph.sx`: adjacency list, `Map.findWithDefault [] n g` for
+  default-empty neighbors.
+- Both added to `PROGRAMS` in `conformance.sh`. Phase 11 fully complete.
+
 **2026-05-07** — Phase 11 unit tests `tests/map.sx` (26/26):
 - 22 SX-level direct calls (empty/singleton/insert/lookup/delete/member/
   fromList+duplicates/toAscList/elems/unionWith/intersectionWith/difference/