Representations of Syntax with Binding

https://jesper.sikanda.be/posts/1001-syntax-representations.html