refactor(rust_lower): extract lower_stmt arms + infer_expr_type helpers (behavior-preserving)

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: olwang