This PR makes type checking by Steep stricter. all_error is stricter than strict, and strict is not strict enough. Note that it remains the following gems because they have type errors with all_err...