fix bugs with lambda types in the translations
pass through the first few sections of the paper
simplify * translation
Merge branch 'master' of github.com:jgbm/cpgv