nuwa/stage: links for lambdapi