Add Additive typeclass to Prelude

I think it's best if the Additive typeclass is seperate from the Num typeclass which can then derive from it.

Alternative versions of the Haskell Prelude have put this into practice.