Add support for microlens

[lsrcz]

This pull request adds the necessary constructs, instances, and mrg variants for microlens combinators for using microlens with Grisette.

[codecov]

Codecov Report

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

Project coverage is 59.60%. Comparing base (54ef499) to head (37e3544).

Files	Patch %	Lines
src/Grisette/Core/Data/Class/SafeDivision.hs	0.00%	10 Missing ⚠️
src/Grisette/Core/Data/Class/BitVector.hs	0.00%	6 Missing ⚠️
src/Grisette/Core/Data/Class/GenSym.hs	0.00%	6 Missing ⚠️
src/Grisette/Core/Data/Class/SafeSymShift.hs	0.00%	6 Missing ⚠️
src/Grisette/Core/Data/Class/LogicalOp.hs	0.00%	5 Missing ⚠️
src/Grisette/Core/Data/Class/SOrd.hs	0.00%	5 Missing ⚠️
src/Grisette/Lib/Lens/Micro.hs	83.87%	2 Missing and 3 partials ⚠️
src/Grisette/Core/Control/Monad/UnionM.hs	0.00%	4 Missing ⚠️
src/Grisette/Core/Data/Class/Solvable.hs	0.00%	4 Missing ⚠️
src/Grisette/Core/Data/Class/Mergeable.hs	0.00%	3 Missing ⚠️
... and 15 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #186      +/-   ##
==========================================
- Coverage   60.18%   59.60%   -0.59%     
==========================================
  Files          72       76       +4     
  Lines        6146     6255     +109     
  Branches      502      508       +6     
==========================================
+ Hits         3699     3728      +29     
- Misses       1945     2019      +74     
- Partials      502      508       +6     

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