Added case ** to diff and improved equals
Added reduceMinusAbs to CompositeTerm
Removed args from Term and AtomicTerm