Apparently Python is now the language of choice for teaching programming, and I'm a bit worried about it because the type system is a mess.

I think Pascal or ADA are better language to start learning about types with a good base.