Eliminate needless Options.

Many of our core types have dedicated sentinels which serve
perfectly to communicate "no value", even more perfectly than
None. Saving a billion allocations is gravy.
Merge pull request #2617 from paulp/pr/use-dedicated-sentinels

Eliminate needless Options.