Fix a broken test, add Monoid.zeroEquiv