fix lambda-lifting: take level of bound variables into account and also apply bound variables from outer scope
fix lambda-lifting: take level of bound variables into account and also apply bound variables from outer scope

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