Add MultiplicativeAbGroup[Sign] and fix id bug.

The id of Sign was Sign.Zero, when it should've been Sign.Positive.
Loosen GroupAction#scalar to only be Semigroup.

Group was rather restrictive, given the laws.
Add GroupAction laws.
Merge pull request #277 from tixxit/topic/sign-action

GroupAction for Sign and other bits