Instant Polymorphic Types for Mobile Process Calculi: Just add Reduction Rules and Close