There is also Snap! (https://snap.berkeley.edu/) which starts very much like Scratch but has higher ceiling. The deepest pedagogical benefit is you can easily build for him custom blocks — even custom control structures — to give the scaffolding that will let him focus on the programming style/aspects you want him to learn at that point.