UPN tests added
Now using native Show instance for terms.

Traditional show instance renamed as `showTerm :: SymTerm -> String`