refactor: eliminate decreasing_by in Parser.lean in favour of structural recursion

Problem

Lck/Regex/Parser.lean at lines 646 and 912 uses decreasing_by to convince the termination checker. Per CLAUDE.md, decreasing_by is a code smell for parsers — a well-structured LL(1) parser over a token list should terminate structurally.

Expected fix

Restructure the affected parsing functions so that recursive calls are made on a syntactically smaller token list, allowing the Lean termination checker to accept them without decreasing_by. If this turns out to be infeasible, document why with a comment.

References

• Observed by AI code review on PR #9
• See CLAUDE.md termination discipline

Lck/Regex/Parser.lean を開き、646 行目と 912 行目のパース処理コードを調べてから、CLAUDE.md の停止性に関するガイダンスを読んでください。影響を受ける再帰呼び出しで、構造的により小さいトークンリストを使用できるか判断してください。両方の decreasing_by の使用箇所を削除するか、再構成が実行不可能な理由を説明するコメントを記述すれば完了です。