fix the bug in type checking uninterpreted types

[konnov]

This PR fixed a bug in uninterpreted types.

• Tests added for any new code
• Ran make fmt-fix (or had formatting run automatically on all files edited)
• Entry added to UNRELEASED.md for any new functionality

[codecov-commenter]

Codecov Report

Merging #1792 (8b3b2a7) into unstable (4f7cb4c) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@             Coverage Diff              @@
##           unstable    #1792      +/-   ##
============================================
+ Coverage     76.83%   76.85%   +0.01%     
============================================
  Files           383      383              
  Lines         11826    11831       +5     
  Branches        561      571      +10     
============================================
+ Hits           9087     9093       +6     
+ Misses         2739     2738       -1     

Impacted Files	Coverage Δ
...yte/apalache/tla/typecheck/ModelValueHandler.scala	100.00% <100.00%> (ø)
...forsyte/apalache/tla/typecheck/etc/ToEtcExpr.scala	94.83% <100.00%> (+0.05%)	⬆️
...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 4f7cb4c...8b3b2a7. Read the comment docs.