lean4

feat: `grind` instances for `String.Pos` and variants (#11384)

fix: enforce implicit invariants in EmitC stronger (#11381)

feat: move `String` positions between slices (#11380)

perf: macro_inline ctorIdx for single constructor inductives (#11379)

chore: revert "refactor: port shell option processing to Lean" (#11378)