Ivory: Indeterminates

TODO

Adjoin with an indeterminate v, which is commutative
Start with univariate-monomial, i.e. individual powers v^0, v^1, v^2, v^3, etc.
These don’t collapse since there are no identities like d^2 = 0, etc.
Technically an infinite-dimensional vector space. Is this useful to our implementation?
Introduce other indeterminates v1, v2, etc. to get general monomials
Introduce “degree”, and homogeneous polynomials which sum monomials of the same degree
Useful for projective geometry, etc.