Explained some of what currently takes place within lambda-free.fun

Specifically, I commented on the newScope function with a summary of its purpose,
and on the Fun branch of the exp function with an explanation of individual steps.
Merge branch 'master' of https://github.com/DanRosenwasser/mlton