Add on demand unified interfaces and support for uninterpreted functions

[lsrcz]

This pull request adds support for unified interfaces and uninterpreted functions.

The EvalMode was renamed to EvalModeAll. Also, we provide genEvalMode to generate custom EvalMode constraints, which may support uninterpreted functions.

[codecov]

Codecov Report

Attention: Patch coverage is 0.54645% with 182 lines in your changes missing coverage. Please review.

Project coverage is 52.56%. Comparing base (7dff523) to head (1e2ab31).
Report is 5 commits behind head on main.

Files	Patch %	Lines
src/Grisette/Unified/Internal/UnifiedFun.hs	0.00%	123 Missing ⚠️
src/Grisette/Unified/Internal/EvalMode.hs	0.00%	42 Missing ⚠️
src/Grisette/Internal/Core/Data/Class/PPrint.hs	0.00%	4 Missing ⚠️
src/Grisette/Unified/Internal/Theories.hs	0.00%	3 Missing ⚠️
src/Grisette/Internal/Core/Data/Class/Function.hs	0.00%	2 Missing ⚠️
src/Grisette/Internal/SymPrim/BV.hs	0.00%	2 Missing ⚠️
src/Grisette/Internal/SymPrim/FP.hs	0.00%	2 Missing ⚠️
src/Grisette/Internal/Core/Data/Class/ToSym.hs	50.00%	1 Missing ⚠️
src/Grisette/Internal/SymPrim/AlgReal.hs	0.00%	1 Missing ⚠️
src/Grisette/Internal/SymPrim/GeneralFun.hs	0.00%	1 Missing ⚠️
... and 1 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #250      +/-   ##
==========================================
- Coverage   53.50%   52.56%   -0.95%     
==========================================
  Files         117      120       +3     
  Lines        9980    10163     +183     
  Branches      941      942       +1     
==========================================
+ Hits         5340     5342       +2     
- Misses       3699     3879     +180     
- Partials      941      942       +1     

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