Recursive Polymorphic Types and Parametricity in an Operational Framework