> So should Expr.coeff special case Poly or should Poly capture calls
> to coeff and simply raise an error telling the user that either Poly
> should be converted to Expr or coeff_monomial or nth should be used?

For the moment at least raising is probably the best option.