Restructured documentation - about to rename Symbol to Def
Renamed Symbol to Def at least for code embedded in Docs. Doc comments will still need to be changed.
Merge pull request #11 from sourcegraph/symbol-to-def

Symbol to def