`Data.Nat.Base` is missing raw algebra bundles involving multiplication

[Taneb]

• *-rawMagma
• *-1-rawMonoid
• +-*-rawNearSemiring
• +-*-rawSemiring

[jamesmckinna]

Suggest I add these to the Parity PR #1852 (arrogantly presuming that mention of these omissions was prompted by those additions...)?

[MatthewDaggitt]

Nope, definitely open a separate PR! No need to wrap them up in the same one 👍 They're not related, so no need for them to go in the same PR.

[jamesmckinna]

OK, but I will move the raw bundles from Data.Parity.Properties to Base.

[jamesmckinna]

Erroneous linkage to PR #1822 which I now don't seem able to unlink... :-( or else it leaves a trail. Oh well... careless mouse handling!