[noelwelsh]

Rabbit was closure conversion, which was efficient implementation of first-class functions with lexical scope. The abstract discusses the difference with ALGOL:

https://dspace.mit.edu/handle/1721.1/6913