By Tzvi Machlin More people know the name “Tommy John” for the pitching arm-repairing surgery that bears his name than for his 25-plus years on the mound. But there’s a growing movement to change that. In a recent interview with MLB insider Bob Nightengale, Hall of Fame pitcher Jim Kaat lamented that John isn’t in the Hall of Fame. He pointed out that John might be the most famous pitcher there is due to the surgery bearing his name. ‘I think it’s a tragedy Tommy John is not in the Hall of Fame. Is there a pitcher more famous than Tommy John?’’ Kaat said. On social media, there are a lot of pe…