Prettier printing, equality of FuncTerm fixed
Prettier printing, equality of FuncTerm fixed

Changed sorting of Plus from increasing degree to decreasing

ds283/splinter,bgrimstad/splinter,ds283/splinter,ds283/splinter,bgrimstad/splinter,bgrimstad/splinter,ds283/splinter,bgrimstad/splinter,bgrimstad/splinter,ds283/splinter