nit: add typical NFA size examples to Complexity.lean module docstring

Problem

Lck/Regex/Complexity.lean proves bounds on NFA size relative to AST size but its module docstring does not give concrete examples of what these bounds mean in practice (e.g., typical sizes for a*, (a|b)+, etc.).

Expected fix

Add a short table or a few examples to the module docstring illustrating typical NFA position counts for common patterns.

References

• Suggested by AI code review on PR #9

Lck/Regex/Complexity.lean を開き、モジュールの docstring と、そこにある NFA サイズの上界を読みます。a* や (a|b)+ のようなパターンについて、短い表またはいくつかの具体例を追加します。docstring は、実際によくある NFA の位置数を説明できれば完成です。