docs: Add glossary (fixes #430)