Proposal: Export Data.Word.Word from Prelude

[Henning Thielemann]

Am 09.08.2014 um 23:12 schrieb Herbert Valerio Riedel:

>> Modula calls non-negative integers CARDINAL. I like the name. In
>> Haskell there could be a Cardinal type for arbitrary size non-negative
>> integers and Card for machine size integers, although the latter one
>> could be misunderstood as cards used in card games.
>
> Fwiw, I did wonder back then why Wirth chose the term 'cardinal' over
> e.g.  'natural'.

"Natural" for arbitrary size non-negative integer and "Nat" for machine 
size natural number would be fine to me, too.

 > So the type-name 'Word' meaning
> unsigned fixed-width integral is not going away that soon.

How would you name the arbitrary size natural number type, such that it 
is consistent with the Integer/Int scheme?