[gambit-list] Universal backend progress