Relate handling of bindings to the literature?

[Blaisorblade]

@Toxaris wrote in #95:

I think the paragraph starting with "At this point" on page 64 of http://www2.tcs.ifi.lmu.de/~abel/habil.pdf is relevant to this question. It contains a reference to http://edoc.ub.uni-muenchen.de/9761/1/BarralPhd.pdf which might or might not explain what we're doing. There's also a reference to http://www2.tcs.ifi.lmu.de/~abel/lmcs10.pdf which maybe describes what we should be doing.

I took a look at the first reference, and estimated this would take more than 5 minutes. Hence, I'm deferring it by creating a separate issue.