Exactly! I found it hard to break into TaPL, and this is just the thing I needed.

I was just about to ask how well this would work as a companion to tapl. I'm still very early in the book so the notation isn't indecipherable, but I'm sure it'll get there soon.