Re-naming Term constructors
Adding a slightly more descriptive Show instance
Removing unused import