Rank-2 Intersection and Polymorphic Recursion for (a subset of) Caml