Implement rewriting subseteq with forall quantification in Keramelizer

[p-offtermatt]

• 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
• Entry added to UNRELEASED.md for any new functionality

[codecov-commenter]

Codecov Report

Merging #1621 (48b138c) into unstable (cc1d8d1) will increase coverage by 0.03%.
The diff coverage is 100.00%.

@@             Coverage Diff              @@
##           unstable    #1621      +/-   ##
============================================
+ Coverage     75.13%   75.17%   +0.03%     
============================================
  Files           356      356              
  Lines         11555    11568      +13     
  Branches        541      543       +2     
============================================
+ Hits           8682     8696      +14     
+ Misses         2873     2872       -1     

Impacted Files	Coverage Δ
...scala/at/forsyte/apalache/tla/pp/Keramelizer.scala	97.46% <100.00%> (+2.01%)	⬆️
.../forsyte/apalache/tla/pp/ConstSimplifierBase.scala	96.47% <0.00%> (-1.18%)	⬇️
...he/io/annotations/parser/CommentPreprocessor.scala	96.70% <0.00%> (+1.09%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update cc1d8d1...48b138c. Read the comment docs.

[Kukovec]

Mostly some style-preference comments, the only required fix are the types of forall, which should be Boolean.