One addition that I'd like to make to the document is a formal
declaration of terms. This commit contains a file that I hope to include
in the main documentation.