`SSA.elimValuation` triggers a `(kernel) application type mismatch error`

See the relevant testcase at [ElimValuation.lean](https://github.com/opencompl/lean-mlir/blob/f0cd9bedb98938ff443f65637707406c7f52aa49/LeanMLIR/LeanMLIR/Tests/Tactic/ElimValuation.lean#L26).