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