rm remaining few uses of PolyVector

Similar to today's conversion of InstrumentsSet.