Better lens-like operations support

[MateuszKubuszok]

• fix bug
• add documentation for lens-like cases
• add lens-like tests for total transformation
• add lens-like tests for partial transformation
• fix missing tests for matchingSome/matchingLeft/etc in *StdLibSpec
• fix missing tests for matchingSome/matchingLeft/etc in *IntegrationSpec

[codecov]

Codecov Report

Attention: Patch coverage is 95.45455% with 4 lines in your changes missing coverage. Please review.

Project coverage is 86.75%. Comparing base (c1de957) to head (2022400).
Report is 9 commits behind head on master.

Files	Patch %	Lines
...er/rules/TransformProductToProductRuleModule.scala	89.47%	2 Missing ⚠️
...nternal/compiletime/datatypes/SingletonTypes.scala	0.00%	1 Missing ⚠️
...ompiletime/derivation/patcher/Configurations.scala	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #583      +/-   ##
==========================================
+ Coverage   86.73%   86.75%   +0.01%     
==========================================
  Files         154      154              
  Lines        5986     6068      +82     
  Branches      514      553      +39     
==========================================
+ Hits         5192     5264      +72     
- Misses        794      804      +10     

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