I think that was the motivation to make Mojo a superset of python.

Yes, but apparently even that ended up being a pivot, with just enough Python, and now lets see what Qualcom makes out of it.