Improved the abstract syntax for arithmetic expressions; added discussion topic on big-step vs small-step