Closes #1: `zero` is actually `id` in an additive monoid

Ping @HaprianVlad: Also contains suggested fixes for the errors you're encountering.
That doesn't mean you don't need to understand implicits properly!

Btw, `/2` won't work, since `2` is not part of your monid.