Rename "Nothing" to "Something"

[dsyme]

With the proposal to add Zero, I suggest we rename "Nothing" to "One", or perhaps "Something".

[vossccp]

"Nothing" has an instance. Therefore, it is something. We should either make the instance private (them its really nothing at least from outside) or we should rename it to be something

[dsyme]

Yes, @gregyoung tries to make nothing, and he still ends up with something.

[gregoryyoung]

Nothing is impossible, the word itself says 'I'm possible'! Audrey Hepburn

[dsyme]

This issue goes to the heart of differences in traditions in computing.

In the algebraic tradition, adding data to a type is multiplicative, and nothing is "one" or "unit". So tuple types are written "int * int" with the idea that "unit * int * int" is still "int *int"

In the object oriented tradition, emptiness is nothingness is zero. Hence the name of this repo. In this tradition, it's unclear what "one" is.

So additive of multiplicative? Where do you stand?