MichelsonLambdaRec: DataX<"Lambda_rec", [InstructionList]>