Separate design and user docs

Moved design documentation into a subdirectory.
Created some new user-focused documentation, and a glossary.
Partially resolves #1813
s/collections/sets/