Commented lambda-free.fun

The code in lambda-free.fun utilizes mutability somewhat heavily, and uses fairly clever ways of accomplishing tasks in few steps. Unfortunately this makes it difficult to understand at a first glance. This minor changeset should provide some basic idea on how to approach/maintain the code contained in lambda-free.fun in the future.