Progress.
Recursive lifitng in ProgramMacros.scala.