* declarations.json types Fungrim domains (AlgebraicNumbers, Lattice, Rings, * SL2Z, ...) as `collection<...>`, but CE's SetMinus/Union/Intersection * require `set` operands (every Fungrim domain is mathematically a set). * Rewrite `collection` -> `set` in shell signatures. (`set` is a subtype of
(signature: string)
| 102 | * Divisors(n) → finite_rational), positivity (`p^m` with m ∈ PositiveIntegers |
| 103 | * → finite_rational), parity (`k(3k-1)/2` → real), or the type of a Limit's |
| 104 | * bound variable (`BernoulliB(2n)` under `Limit(Function(…), n, ∞)` → n is |
| 105 | * untyped → finite_number). These were shells (looser arg-checking) until the |
| 106 | * number-theory/combinatorics kernels were promoted to strict `(integer)` |
| 107 | * built-ins (2026-06-27), which is what regressed the Stage-1 box check. The |
| 108 | * widening is a Stage-1 (representability) accommodation only; Stage 2 |
| 109 | * (compat:false) keeps the real strict evaluators. |