More about problems with SSA wrt nested functions.
New chapter on environments.
Give reson for existing structure.