I was a HyperCarder too.

I would say the answer is none of the below/above...

GDevelop is an app for making games. Your son will love it. It has a very cute visual programming language, not too far from Scratch.

I watched a few 10 minute tutorial videos and "got it"... you two will too.

p.s No connection to the company.