docs for compiler phases "after erasure, before ICode"

Hi, 
I've embarked on a quest to document all compiler phases "after erasure, before ICode" and so far I've got from lazyvals to flatten:  

http://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/2011Q2/HowLazyValWorks.pdf http://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/2011Q2/LambdaLift.pdfhttp://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/2011Q2/ConstrPhase.pdfhttp://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/2011Q2/HowFlatttenWorks.pdf
It might not be complete (for now, part 2 of lambdalift is missing as well as mixer) but you know, it's better than nothing. 

Miguel http://lamp.epfl.ch/~magarcia/ScalaNET/