Fix Lists.v. Add Poly.v up to first exercises.