I tried to add an example about Phantom types at mdinger@b03fc84 which were discussed on the mozilla blog. It definitely doesn't work now because I tried embedding 2 separate live code examples in a single page.

The usefulness of Phantom types is not immediately obvious to me so I thought a better example should be included. However, using that Add there can be confusing and I don't know where all the pieces of it are explained.

The first example became too complicated (long) when I added the second so I tried to split it. Any feedback is welcome. I cobbled it together using IRC for help.

I definitely don't know what you think about my list of cross references included but I tried to include references to the discussed topics anyway. No style was applied either.