- expr : primitive | <'+', expr, expr> | <'-', expr, expr>
- primitive : NUMBER
- equal(e1:NUMBER, e2:NUMBER) ->
- e1 == e2
- equal(<'+', e1l, e1r>, <'+', erl, e2r>) ->
- equal(e1l, e2l) && equal(e1r, e2r)
- equal(<'-', e1l, e1r>, <'-', erl, e2r>) ->
- equal(e1l, e2l) && equal(e1r, e2r)