I called the `Poly` on input and used `is_polynomial` to determine wheter it's a valid polynomial. I think that's okay since initially what we wanted was to support `Poly` and `Expr`.