Recursive lifitng in ProgramMacros.scala.