In particular, add type hints for get_success and friends, which are then helpful in a bunch of places.
Richard van der Hoff