non/algebra — pull request #7 by non (2014-12-18 04:56:01+00:00)
Title: Fix broken identity in Sign, and add multiplicative monoid

Sign's identity is Positive, not Zero. Also, in addition to just
providing a generic monoid it's also friendly to provide a
multiplicative monoid, since that's how we usually think about
combining signs.