add equality expressions to arith example
add boolean || and && to arith example