First stab at a show function for term.
Clean up show function for term.
Naming, clean.
Now able to show beautiful first-order theorems.
Refactor.
Reordering.
Style.