reverted e2b1a86d59fc -- broke Metis's lambda-lifting
reverted e2b1a86d59fc -- broke Metis's lambda-lifting

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle