minor refactoring: use (.+) and make an algorithmic change similar to the change from iterated multiplication to repeated squaring
comment some functions a bit
consistency management for Polynomial-based spreadsheets (except for the hard bit: polyPut)