Test ProductTypeImpl.