EventNumber introduced.

Added a clarifying concept to show that event numbers are used for calculating state transitions, not 'Event' objects. No functional changes have been added.