This is a neat project. Visual tree/outline approaches to s-expressions is an idea which recurs from time to time. I haven’t embraced them myself but I appreciate the approach. That said, usually if you are many levels deep in nested parens and need a map to find your way out it means some refactoring into smaller simpler functions may be in order.