perf: optimize nested foldl in Glushkov/Matcher.lean step/initialStep (O(n²) → O(n log n))

Problem

The step and initialStep functions in Lck/Regex/Glushkov/Matcher.lean (lines 45-55, 65-75) use nested foldl operations that produce O(n²) complexity for large NFAs.

Impact

For a pattern with n positions, each step scans all active states and for each computes a set union — resulting in O(n²) per character of input.

Suggested Fix

Consider using a more efficient data structure (e.g., a bitset or sorted set with efficient union) to bring the per-step cost to O(n log n).

References

Raised in AI code review.

Beginne in Lck/Regex/Glushkov/Matcher.lean, konzentriere dich auf step und initialStep in den zitierten Zeilen und verfolge ihre verschachtelten foldl-Operationen. Vergleiche Kandidaten für Datenstrukturen von Zustandsmengen mit dem aktuellen Verhalten; als erledigt gilt die Aufgabe, wenn die Matchergebnisse erhalten bleiben und die Komplexität pro Schritt von O(n²) in Richtung O(n log n) reduziert wird.