Could DynamicPolynomials allow inserting custom <: AbstractDynamicPolynomialsVariable{V, M}
variable types? It seems like if an extensive interface for variables (on top of the one defined in MultivariatePolynomials) is defined this could easily be possible and make the package more extensible.