Generalize SBVFreshMonad to transformers

[lsrcz]

This pull request generalizes SBVFreshMonad to the transformers, resolves #153.

[codecov]

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (a573295) 52.61% compared to head (5d7a483) 52.60%.

Files	Patch %	Lines
src/Grisette/Backend/SBV/Data/SMT/Lowering.hs	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #157      +/-   ##
==========================================
- Coverage   52.61%   52.60%   -0.02%     
==========================================
  Files          66       66              
  Lines        5764     5764              
  Branches      445      446       +1     
==========================================
- Hits         3033     3032       -1     
  Misses       2286     2286              
- Partials      445      446       +1     

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