Separate design and user docs

Moved design documentation into a subdirectory.
Created some new user-focused documentation, and a glossary.
Partially resolves #1813
We shouldn't lose the intended purpose of labels when shortening the description.