val compileLambda: bool -> Lambda.Lambda -> Instruct.ZamPhrase;