On Polymorphic Recursion, Type Systems, and Abstract Interpretation