Function lean_expr_to_zexpr_with_kenv

crates/kernel/src/ingress.rs:2211–2230

Cached variant that takes a full `KEnv` reference instead of just `InternTable`. Uses the KEnv's `ingress_cache` to avoid re-converting shared LeanExpr subtrees.

(
  expr: &LeanExpr,
  param_names: &[Name],
  kenv: &mut KEnv<Meta>,
  n2a: Option<&DashMap<Name, Address>>,
  aux_n2a: Option<&DashMap<Name, Address>>,
)

          &block_constant.univs,
          block_id.clone(),
          intern,
          stats,
          None,
        )?);
      },
      IxonMutConst::Defn(def) => {
        results.extend(ingress_defn(
          def,
          self_id,
          member_meta,
          ixon_env,
          names,
          name_to_addr,
          &block_constant.sharing,
          &block_constant.refs,
          &block_constant.univs,
          block_id.clone(),
          intern,
          stats,
          None,
        )?);
      },
    }