Add pretty printer for models, change the operand order for PPrint2 functions

[lsrcz]

This pull request adds the pretty printer for models and changes the operand order for liftPFormatPrec2 and liftPFormatList2.

[codecov]

Codecov Report

Attention: Patch coverage is 29.62963% with 38 lines in your changes missing coverage. Please review.

Project coverage is 49.80%. Comparing base (9edb98a) to head (10bb95a).

Files	Patch %	Lines
src/Grisette/Internal/Core/Data/Class/PPrint.hs	29.62%	33 Missing and 5 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #225      +/-   ##
==========================================
- Coverage   49.91%   49.80%   -0.12%     
==========================================
  Files         100      100              
  Lines        8506     8543      +37     
  Branches      713      714       +1     
==========================================
+ Hits         4246     4255       +9     
- Misses       3547     3574      +27     
- Partials      713      714       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.