Add generation of fresh strings from MonadFresh

[lsrcz]

Added generation of fresh strings from MonadFresh via freshString. Dropped support for symbols with info, which can be confusing and rarely used.

[codecov]

Codecov Report

Attention: Patch coverage is 76.92308% with 3 lines in your changes are missing coverage. Please review.

Project coverage is 60.18%. Comparing base (f005773) to head (0a2d7b3).

❗ Current head 0a2d7b3 differs from pull request most recent head 80f0bc6. Consider uploading reports for the commit 80f0bc6 to get more accurate results

Files	Patch %	Lines
src/Grisette/Core/Data/Class/GenSym.hs	66.66%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #188      +/-   ##
==========================================
+ Coverage   59.91%   60.18%   +0.26%     
==========================================
  Files          72       72              
  Lines        6182     6146      -36     
  Branches      508      502       -6     
==========================================
- Hits         3704     3699       -5     
+ Misses       1970     1945      -25     
+ Partials      508      502       -6     

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