Dealing with untyped closure conversion

A step-by-step guide to implementing untyped closure conversion in a functional programming language.