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.
AND you missed the second link in the post https://docs.modular.com/mojo/notebooks/BoolMLIR.html