docs: update status for completed JS backend and package manager

- JS_WASM_BACKEND_PLAN: Mark phases 1-5 complete, deprioritize WASM
- LANGUAGE_COMPARISON: Update package manager status
- OVERVIEW: Add completed features list
- ROADMAP: Mark JS backend and package manager complete
- Add PACKAGES.md documenting the package system

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

docs/OVERVIEW.md

@@ -233,9 +233,9 @@ Quick iteration with type inference and a REPL.
 
 | Limitation | Description |
 |------------|-------------|
-| **No Package Manager** | Can't share/publish packages yet |
 | **New Paradigm** | Effects require learning new concepts |
-| **Small Ecosystem** | No community packages yet |
+| **Small Ecosystem** | Community packages just starting |
+| **No Package Registry** | Can share code via git/path, no central registry yet |
 | **Early Stage** | Bugs likely, features incomplete |
 
 ---
@@ -296,7 +296,6 @@ Quick iteration with type inference and a REPL.
 
 - Large production applications (early stage)
 - Performance-critical code (C backend working, but no advanced optimizations)
-- Web frontend development (no JS compilation)
 - Systems programming (no low-level control)
 
 ---
@@ -375,12 +374,18 @@ Values + Effects        C Code → GCC/Clang
 - ✅ Formatter
 
 **In Progress:**
-1. **Schema Evolution** - Type system integration, auto-migration
+1. **Schema Evolution** - Type-declared migrations working, auto-generation pending
 2. **Error Message Quality** - Context lines shown, suggestions partial
 3. **Memory Management** - RC working for lists/boxed, closures/ADTs pending
 
+**Recently Completed:**
+- ✅ **JavaScript Backend** - Full language support, browser & Node.js
+- ✅ **Dom Effect** - 40+ browser manipulation operations
+- ✅ **Html Module** - Type-safe HTML construction (Elm-style)
+- ✅ **TEA Runtime** - The Elm Architecture for web apps
+- ✅ **Package Manager** - `lux pkg` with git/path dependencies, module integration
+
 **Planned:**
-4. **SQL Effect** - Database access
-5. **Package Manager** - Share code (manifest parsing exists)
-6. **JavaScript Backend** - Run in browsers
-7. **Behavioral Type Verification** - Total, idempotent, deterministic checking
+4. **SQL Effect** - Database access (as a package)
+5. **Package Registry** - Central repository for sharing packages
+6. **Behavioral Type Verification** - Total, idempotent, deterministic checking