That sounds intractable.

How would you differentiate mojo code from vanilla python without a ton of boilerplate at language boundaries.