Integrate with new algebra typeclasses #1071
Description
While migrating algebra into the cats repository I also ended up adding some typeclasses proposed by @denisrosset which I believe were intended to better align algebra with spire. See typelevel/algebra#246, typelevel/algebra#247, typelevel/algebra#248.