[#22785] Fix printing of promoted MkSolo const
Problem: I found, that GHC prints type name of Solo type instead of its constructor, despite the fact that the real type was promoted data constructor. See #22785 (closed) for more details.
Solution:
- Add new test case, that handle this behavior
- Fix all places, where exists logic of tuple pretty printing