refactored the optimization of the co-Yoneda lemma

[codecov[bot]]

Codecov Report

Attention: 3 lines in your changes are missing coverage. Please review.

Files	Coverage Δ
CatReps/PackageInfo.g	100.00% <100.00%> (ø)
FiniteCocompletions/PackageInfo.g	100.00% <100.00%> (ø)
FunctorCategories/PackageInfo.g	100.00% <100.00%> (ø)
FunctorCategories/gap/PreSheaves.gd	98.86% <100.00%> (+0.02%)	:arrow_up:
FunctorCategories/gap/PreSheaves.gi	88.10% <98.10%> (+1.91%)	:arrow_up:

... and 3 files with indirect coverage changes

:loudspeaker: Thoughts on this report? Let us know!.