Generalized `failing` so that it now subsumes `ifailing`. Removed `ifailing` and switched to using the `Traversing` type alias in more places.