Plus has a monoid, and removed implicit Rings in optimize functions