[reactive] 'stateE' --> 'mealy'