Started work on isId, isZero, isOne.
Methods isId, isZero, isOne for Monoid, AdditiveMonoid and MultiplicativeMonoid respectively, using generalized type constraints.
Moved the Eq[A] requirement into an additional typeclass parameter (Monoid.isId, AdditiveMonoid.isZero, MultiplicativeMonoid.isOne).
Merge remote-tracking branch 'upstream/master' into topic/monoid-isIdentity
New syntax for fast sign tests in Signed, as to avoid collision between AdditiveMonoid.isZero and Signed.isSignZero.
Incorrect macro usage replaced by explicit calls.

Waiting for new templates in Machinist.
Now with macros, using my local version of machinist.
Added documentation in README about isId.
add support for unopWithEv2
fix merge conflicts