Match-fix still throwing bugs, but have decided to work on some nicer 'Show' code first.
Finished the code in Elea/Monad/Definitions.hs to lookup term names from the term itself. Currently untested.

Threaded the Definitions.Read monad through a lot of existing code, so that we can show terms within it, and the names of terms will be properly displayed.