Extract all polymorphic variables in poly types. Temporarily fixed the subordination mechanism.