I'm still convinced that Logo is very hard to beat for a truly first-ever language. Drawing is fun, and Logo is all about drawing. It develops basic logic in a progressive manner.

But yeah, Python would be the best next step.