A tree walking intrepreter can be an excellent way to prototype type systems, concurrency models, verification, etc.

Again, this is a tutorial, for newcomers, which happens to include a tree walking interpreter. I think you've pushed the goalpost pretty far back just because a reasonably interesting one was hit at all.