Add symFromIntegral

[lsrcz]

This pull request adds symFromIntegral to convert between integral types.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 16 lines in your changes missing coverage. Please review.

Project coverage is 53.39%. Comparing base (b19a63a) to head (48965af).

Files	Patch %	Lines
...rc/Grisette/Internal/SymPrim/Prim/Internal/Term.hs	0.00%	10 Missing ⚠️
src/Grisette/Internal/Backend/Solving.hs	0.00%	3 Missing ⚠️
src/Grisette/Internal/SymPrim/Prim/TermUtils.hs	0.00%	2 Missing ⚠️
src/Grisette/Internal/SymPrim/GeneralFun.hs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #233      +/-   ##
==========================================
- Coverage   53.49%   53.39%   -0.10%     
==========================================
  Files         105      105              
  Lines        8695     8711      +16     
  Branches      774      775       +1     
==========================================
  Hits         4651     4651              
- Misses       3270     3285      +15     
- Partials      774      775       +1     

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