Add type announcement of the prove-event types