Added section on visualization of closure functions via lattices.
Merge branch 'master' into pdf-release