Add an example and discussion of the Option type.