Add a graphic depiction of the operations in the Autodidax tutorial.

[many-facedgod]

Hi,

I'm a big fan of the Autodidax tutorial. It does an amazing job of unravelling the black magic that goes on behind the scenes wish more libraries did something like this. One suggestion I have is to add a visual, perhaps animated representation of the operations that go on. I think it would really help any first time readers keeping track of the control flow and the global state. Although I haven't fleshed out all the details, even displaying the state of the trace_stack, the boxing/unboxing and the control flow to the rule implementation would help. What I have in mind is akin to the animations on this PyTorch Lightning documentation page.

I can spend some time fleshing out the details if it sounds good.

Thank you!