Add deriving for void types for builtin type classes

[lsrcz]

This pull request adds missing deriving for void types for the builtin types classes.

[codecov]

Codecov Report

Attention: Patch coverage is 44.44444% with 5 lines in your changes are missing coverage. Please review.

Project coverage is 60.04%. Comparing base (5751b05) to head (e186c7c).

❗ Current head e186c7c differs from pull request most recent head 4ee0d3d. Consider uploading reports for the commit 4ee0d3d to get more accurate results

Files	Patch %	Lines
src/Grisette/Core/Data/Class/EvaluateSym.hs	80.00%	1 Missing ⚠️
src/Grisette/Core/Data/Class/ExtractSymbolics.hs	0.00%	1 Missing ⚠️
src/Grisette/Core/Data/Class/SubstituteSym.hs	0.00%	1 Missing ⚠️
src/Grisette/Core/Data/Class/ToCon.hs	0.00%	1 Missing ⚠️
src/Grisette/Core/Data/Class/ToSym.hs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #191      +/-   ##
==========================================
- Coverage   60.04%   60.04%   -0.01%     
==========================================
  Files          72       72              
  Lines        6165     6172       +7     
  Branches      504      502       -2     
==========================================
+ Hits         3702     3706       +4     
- Misses       1959     1964       +5     
+ Partials      504      502       -2     

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