funcons-lambda-cbv-mp-0.1.0.2: programs/ast-app2.cbv

let seven = App (App (Bound "plus") (lift 3)) (lift 4)
 in eval(seven)