Finished documentation of the abstraction driven closure conversion