Add type alias InvalidationSucceeded