Ivory: Polynomials

TODO

Extend univariate-monomial in a different way by summing them
Useful for approximating behaviour/functions. Mention Chebyshev polynomials, spread polynomials, etc.
Mention rational expressions as better-behaved when far away; mention Taylor series (and “on-sequences”) as iteratively approximating to arbitrary precision, but having undecidable equality/normal-form
Introduce differentiation by evaluating at v+d: polynomials are closed
How to introduce integration? As anti-derivative?