Dynare timing and redefinition

Without knowing how m(+1) is used, it is impossible to tell. But yes, n is the expected value, while m is the realization. You may want to have a look at Expected value of a power