Document the fact that impredicative polymorphism is deprecated