Text this: Branch-Well-Structured Transition Systems and Extensions