Added counter_reset operator.
Added TODO.
Added counter_derivative operator.