test conversion spire → scalaz
renamings, remove boilerplate
spire binding: convert back and forth between rings

To be specific, convert between spire's `Semiring` and `Rig` and pairs of
scalaz' `Semigroup` and `Monoid`.