PROPOSAL: Add 'Natural' type to base:Data.Word

[Yitzchak Gale]

Herbert Valerio Riedel wrote:
>> I hereby suggest to add a type for encoding term-level naturals...
>> to `base:Data.Word` module

+1

because Edward, who is the current leading purveyor of term-level
nats, is in favor.

Roman Cheplyaka wrote:
> Yeah, having Natural in Data.Word feels unnatural to me.

Agreed. I'm not sure what the solution is though. I'd be in
favor if someone comes up with something decent.
*However*
I'd be strongly opposed to letting any kind of bikeshedding
getting in the way of Herbert's proposal.

Thanks,
Yitz