Changes example to the Naval Fate example

Because it includes all the types of leaf patterns.
Adds all Leaf patterns to DocoptArgs
Make const strings to const, fixes C++