Introduce DivOr, FdivOr, LogBaseOr

[lsrcz]

This pull request introduces DivOr, FdivOr, and LogBaseOr, and renames SafeDivision to SafeDiv, SafeFractional to SafeFdiv.

[codecov]

Codecov Report

Attention: Patch coverage is 59.09091% with 63 lines in your changes missing coverage. Please review.

Project coverage is 52.97%. Comparing base (0c47419) to head (307464b).

Files	Patch %	Lines
src/Grisette/Internal/Core/Data/Class/SafeDiv.hs	64.91%	36 Missing and 4 partials ⚠️
.../Grisette/Unified/Internal/Class/UnifiedSafeDiv.hs	26.08%	17 Missing ⚠️
src/Grisette/Internal/SymPrim/SomeBV.hs	64.70%	2 Missing and 4 partials ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #231   +/-   ##
=======================================
  Coverage   52.97%   52.97%           
=======================================
  Files         104      104           
  Lines        8546     8617   +71     
  Branches      768      775    +7     
=======================================
+ Hits         4527     4565   +38     
- Misses       3251     3277   +26     
- Partials      768      775    +7     

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