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

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