Implement Magma{Additive,Multiplicative} per #25