Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close