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?