Completeness Results for a Polymorphic Type System