Initial integration of recursive lifitng.
Updated Scala version to 2.11.0-RC3.
Documenting ProgramMacros.
Baisc recursive lifting finished.