Add incompatibilities paragraph in doc about universe polymorphism.