do not evaluate coefficients too eagerly.
delete unused line.
Faster coercions for univariate polynomials.
Cache function lookups during coercions.
Faster polynomial multiplication in commutative case.
Faster 'univariate'.
Faster 'map' for univariate polynomials.
Faster polynomial addition.
Faster iterpreter coercion.
Faster coefficient.