Remove unused definitions

Trim definitions list and accompanying references to just what is used in the text.