Supplied the big-step and small-step operational semantics for arithmetic expressions