Better instance Eq/Ord/NFData for dense polynomials

[Bodigrim]

It should be enough to provide Eq a and Vector (v a) for instance Eq (Poly v a), and same for Ord and NFData.