Changed behaviour of [pullback_path] and [_path'] to [simpl never], which seems to help with speed in places.
LongExactSequences: two more admits done, two to go.