(VAR x y )
(RULES 
        app(id, x) -> x
        app(plus, 0) -> id
        app(app(plus, app(s, x)), y) -> app(s, app(app(plus, x), y))
        
)