well that's an implementation of matmul as three nested for-loops and making it fast. so it's exactly "writing for-loops in Python and you want them to be fast." it's not a other thing.
fair point how about this
https://docs.modular.com/mojo/programming-manual.html
you just posted the entire mojo programming manual
I did, to highlight the fact that it does more than you observed.
https://docs.modular.com/mojo/notebooks/Matmul.html https://docs.modular.com/mojo/notebooks/BoolMLIR.html