Started to work on simple operational semantics for arithmetic expressions