Interpreter: evalExp for operators; TypeChecker: loop counter is const