Change definition of restricted polynomials, rename to simple polynomials.