Add commonly known operators to algebra type classes

Currently, Spire is the only place where commonly known mathematical operators are provided to algebra type classes users.

For the general use case, writing custom algebraic types almost always means to also provide at least the most common operators (+, -, *, /) and often the less common ones (**, @, %, ...) to work with those types.

These operators implementation and behavior should be derived from the implemented type classes for a type, as they are standardized in their behaviour through many programming languages and DSLs.

Finally, I think that the full adoption of the algebra library for developers is hindered by the lack of these overloads, and many DSLs would benefit from the possibility to have also laws checking their correctness.

Let me know what you think!

Start by comparing Cats' algebra type classes with the operator support provided by Spire, as described in the issue. Determine which common operators should be derived from each type class and how their behavior could be covered by algebraic laws; the work is done when the supported operators and law checks are clearly defined and implemented.