Yeah, a high level language like Python is good.
There's a game called TIS-100 which makes a game or puzzle out of coding. I just got it recently but haven't really delved into it. It opens up like an old '80s computer with and it comes with an obscure manual. I think it might be for machine or even assembly code though, like the lowest level of coding, since you're playing directly with cycles and memory allocations. I don't know if I can recommend it, but it is interesting and you are still technically learning coding, like the pure logic puzzle part of it. And it's still a game, so it's better for motivation.
Edit: I got curious so I played some of it. It's like a coding version of the game Manufactoria, if you know it. It gives you inputs and conditions for the output, like only take the even numbers and throw out the odd numbers or list out the input numbers in backwards order, etc, and you have different functions that you can arrange anyway you like, and you can store numbers temporarily, etc., Then you write code and let it run, and then you see if you list out the right output or you have to edit something, rinse and repeat until you get it. It's good for learning because the puzzles ramp up in difficulty and build on what you learn from the previous ones, but add a new twist. It's actually pretty clever, and it's very satisfying to solve a puzzle with an elegant program. For that matter, have him play the game Manufactoria too, which is more visual, and he's basically learning coding, since the little state machines are just visual representations of functions. You get that same great feeling satisfaction for solving those puzzles too.
Zachtronic games are all in this vein too: Opus Magnum, SpaceChem, Infinifactory, and SHENZHEN I/O
Edit: Oh, TIS-100 is a Zachtronic game too; of course it is.
Edit2: And Manufactoria. Well there you go. Play anything by this guy.
Of these Opus Magnum is the most accessible & intuitive, and looks & sounds nice.