Less use of the list-based interface for goal-bound tactics.