Classified the Poly class. Added overriden +, ~-, and - as well as a defensive constructor to ensure well sorted term lists.