Canonicalize some constraints for the type classes

[lsrcz]

This pull request canonicalize some constraints for the type classes, and provides better generic deriving. Resolves #124.

[codecov]

Codecov Report

Attention: Patch coverage is 35.03326% with 586 lines in your changes missing coverage. Please review.

Project coverage is 50.19%. Comparing base (d6a1ca1) to head (c743f91).

Files	Patch %	Lines
src/Grisette/Internal/Core/Data/Class/GPretty.hs	35.53%	105 Missing and 51 partials ⚠️
src/Grisette/Internal/Core/Data/Class/SOrd.hs	33.67%	63 Missing and 2 partials ⚠️
...c/Grisette/Internal/Core/Data/Class/EvaluateSym.hs	42.69%	44 Missing and 7 partials ⚠️
...Grisette/Internal/Core/Data/Class/SubstituteSym.hs	40.24%	44 Missing and 5 partials ⚠️
src/Grisette/Internal/SymPrim/AllSyms.hs	0.00%	47 Missing ⚠️
src/Grisette/Internal/Core/Data/Class/ToCon.hs	33.33%	38 Missing and 6 partials ⚠️
src/Grisette/Internal/Core/Data/Class/Mergeable.hs	36.92%	38 Missing and 3 partials ⚠️
src/Grisette/Internal/Core/Data/Class/SEq.hs	32.72%	34 Missing and 3 partials ⚠️
...sette/Internal/Core/Data/Class/ExtractSymbolics.hs	44.61%	31 Missing and 5 partials ⚠️
src/Grisette/Internal/Core/Data/Class/ToSym.hs	48.52%	30 Missing and 5 partials ⚠️
... and 1 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #216      +/-   ##
==========================================
- Coverage   52.49%   50.19%   -2.30%     
==========================================
  Files         100      100              
  Lines        7971     8403     +432     
  Branches      665      706      +41     
==========================================
+ Hits         4184     4218      +34     
- Misses       3122     3479     +357     
- Partials      665      706      +41     

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