Move formal_arg_types declaration closer to actual usage
Make it clearer that only the formal arg name is used in loop