Make Additive a little more like Data.VectorSpace, change Metric to match