Refactor lowering from MIR to AIR

We should make the `translate_from_mir.rs` file a bit more readable - e.g., by splitting out some large `match` branches into helper functions and generally, maybe adding submodules etc.

_Originally posted by @bobbinth in https://github.com/0xMiden/air-script/pull/439#discussion_r2284332363_

作業は translate_from_mir.rs にあります。まずファイルを読み、MIR から AIR への変換ロジックを理解し、抽出可能な大きなマッチ分岐を特定してください。コードベース内の既存のヘルパー関数やモジュールを探し、パターンに従ってください。目標は機能を変更せずに可読性を向上させることなので、リファクタリング後もテストが合格することを確認してください。

索引モデルが issue の本文から書いたものです。