issue#253: proposal

In order to address issue #253, please find a proposal of correction.
Shouldn't this be IntEventType.instantiation()? I don't think this propagator reacts on bounds.