design-md-consolidation 4.3: drop 'Recently lifted gates' history paragraph from §What-is-not-yet-supported

docs/DESIGN.md

@@ -1975,19 +1975,7 @@ ail run       <module>                   — build + execute (tempdir), passthro
 ## What is not (yet) supported
 
 Snapshot of the current boundary. Items move out of this list
-as iterations land; the JOURNAL records when. Recently
-**lifted** gates that used to live here: cross-module ADTs (via qualified `module.Type` / `module.Ctor` references in
-both `(con ...)` and `(term-ctor ...)` / `(pat-ctor ...)` positions);
-GC for ADT boxes, lambda envs, and closure pairs (Boehm conservative
-collector, see Decision 9); nested constructor
-sub-patterns inside `match` (via the desugar pass);
-literal sub-patterns inside a Ctor pattern (the
-desugar pass rewrites every `Pattern::Lit` to a `Term::If` on `==`,
-both at the top level of an arm and inside a Ctor sub-pattern);
-`==` extended from Int-only to a polymorphic
-`forall a. (a, a) -> Bool` over `Int`/`Bool`/`Str`/`Unit` (codegen
-monomorphises and dispatches on the
-resolved arg type; ADT/Fn arg types are rejected at codegen).
+as iterations land; the JOURNAL records when.
 
 - No effect handlers — only the built-in IO and Diverge ops.
 - No refinements / SMT escalation.