Implement Magma{Divisive,Subtractive}. See #26.