Abstract l/rmul and l/rdiv types

[jishnub]

This defines abstract types for LMul/RMul/LDiv/RDiv, and defines some of the methods for the supertypes rather than the specific types.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.09%. Comparing base (14721f1) to head (9f96e09).
⚠️ Report is 101 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #137      +/-   ##
==========================================
+ Coverage   87.08%   87.09%   +0.01%     
==========================================
  Files          10       10              
  Lines        1773     1775       +2     
==========================================
+ Hits         1544     1546       +2     
  Misses        229      229              

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[dlfivefifty]

What's the motivation for this?

[jishnub]

To reduce the number of methods that need to be defined, which may improve the package-load and compile times slightly (although I haven't benchmarked these). From a design perspective, it seems redundant to define identical methods for every subtype.