added the right product-exponential adjunction

[mohamed-barakat]

and got rid of

• AddCartesianLambdaIntroduction
• AddCartesianRightEvaluationMorphismWithGivenSource (and improved its compiled code!)

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (5a81258) 100.00% compared to head (43bd35b) 100.00%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #242 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 12 12 Lines 2015 2042 +27 ========================================= + Hits 2015 2042 +27 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.