Initial work on the guide.
Adds the promise monad.