Update QuintIR for new parameter representation

[shonfeder]

The apalache side fix corresponding to
informalsystems/quint#689

---

• Tests added for any new code
• Ran make fmt-fix (or had formatting run automatically on all files edited)
• Documentation added for any new functionality
• Entries added to ./unreleased/ for any new functionality

[codecov-commenter]

Codecov Report

Merging #2473 (048b0bf) into main (c6078f6) will decrease coverage by 0.01%.
The diff coverage is 75.00%.

❗ Current head 048b0bf differs from pull request most recent head 6b375a1. Consider uploading reports for the commit 6b375a1 to get more accurate results

@@            Coverage Diff             @@
##             main    #2473      +/-   ##
==========================================
- Coverage   78.36%   78.36%   -0.01%     
==========================================
  Files         441      441              
  Lines       15408    15408              
  Branches     2467     2453      -14     
==========================================
- Hits        12075    12074       -1     
- Misses       3333     3334       +1     

Impacted Files	Coverage Δ
...n/scala/at/forsyte/apalache/io/quint/QuintIR.scala	100.00% <ø> (ø)
...ain/scala/at/forsyte/apalache/io/quint/Quint.scala	82.42% <75.00%> (ø)
...a/at/forsyte/apalache/tla/lir/TlaLevelFinder.scala	93.75% <0.00%> (-2.09%)	⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[bugarela]

Thanks for adapting this so quick 💖