Add `Natural` number type to `base`

See original proposal at

http://thread.gmane.org/gmane.comp.lang.haskell.libraries/23300

which was generally met with unanimous support for adding such a type.

Request for CLC-arbitration (and its conclusion) on two more or less controversial details lacking consensus:

https://groups.google.com/forum/#!msg/haskell-core-libraries/CVylSkkHCWE/Cqn7VEgR24sJ

Trac metadata

Trac field	Value
Version
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related	#3650 (closed)
Blocking
CC
Operating system
Architecture

mentioned in issue #3650 (closed)

mentioned in issue #9281 (closed)

changed milestone to %7.10.1

changed weight to 5

added Tfeature request Trac import labels

assigned to @hvr

Trac metadata

Trac field	Value
Component	Compiler → Core Libraries
Differential revisions	→ D473
CC	→ core-libraries-committee@haskell.org

added core libraries label

mentioned in commit 8a8cdbbf

mentioned in commit 41300b76

mentioned in commit b8361390

mentioned in commit 4b653767

mentioned in commit 96d29b54

mentioned in commit 4bf055c7

mentioned in commit 859680f6

closed

This task is effectively done.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed
Related	#3650 (closed) → #3650 (closed), #9281 (closed)

The comment about @Natural@ in libraries/base/Data/Word.hs can be deleted or changed to point to this new module.

mentioned in commit a29e295c

mentioned in commit 6b063ef2

added Pnormal label