chore: retire ReScript guidance text → AffineScript (Estate Item 9) (#7)

Estate language policy: RS/TS/JS → AffineScript → typed-wasm. This rewrites
guidance/policy text that recommended ReScript as the TypeScript/Python
replacement so it now points at AffineScript.

Scope guard (deliberate): rescript-named paths and ReScript adapters are NOT
touched — that work is preserved intact for the ReScript ecosystem. Only the
forward-looking "use ReScript instead" recommendation is updated.

Co-authored-by: hyperpolymath <hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Author: hyperpolymath

CONTRIBUTING.md

@@ -163,7 +163,7 @@ cargo fmt --check
 
 ### Not Accepted
 
-- TypeScript (use ReScript instead)
+- TypeScript (use AffineScript instead)
 - Python (use Rust or Julia instead)
 - Go (use Rust instead)
 - Node.js/npm/bun (use Deno if JS runtime needed)

docs/minikanren-integration-v3.adoc

@@ -47,7 +47,7 @@ toc::[]
 │    └── VeriSim.MiniKanren (v3: constraint solving) ◄─ NEW   │
 │              ↓ FFI/NIFs                                      │
 ├─────────────────────────────────────────────────────────────┤
-│  miniKanren Logic Engine (Rust or ReScript binding)         │
+│  miniKanren Logic Engine (Rust or AffineScript binding)         │
 │    ├── Query plan constraint solver                         │
 │    ├── Normalization rule synthesizer                       │
 │    └── Drift repair strategy generator                      │