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