Not yet, but here's a great tutorial that introduces a really cool technique called Abstracting Abstract Machines: https://docs.racket-lang.org/tutorial/index.html