Code the 2-sphere directly
Make some connections to the book in Chapter 6
Put the 2-sphere in Set

It was in Prop.
Merge pull request #337 from JasonGross/2-sphere-direct

2 sphere direct.
Merging as this has been waiting for two weeks and is not in the critical part.