I wonder whether this should be done in Polys. so rather than penalize all expr by having to do this check, make Polys provide a method named ``coeff` that converts itself to expr and then applies the coeff method. Any thoughts?